diff --git a/include/l4/generic/tcb.h b/include/l4/generic/tcb.h
index 3f62322..c4488c6 100644
--- a/include/l4/generic/tcb.h
+++ b/include/l4/generic/tcb.h
@@ -130,7 +130,6 @@ static inline void set_task_ids(struct ktcb *task, struct task_ids *ids)
 
 extern struct id_pool *thread_id_pool;
 extern struct id_pool *space_id_pool;
-extern struct id_pool *tgroup_id_pool;
 
 struct ktcb *tcb_find(l4id_t tid);
 struct ktcb *tcb_find_by_space(l4id_t tid);
diff --git a/src/generic/tcb.c b/src/generic/tcb.c
index ae84c0e..dbdfe0b 100644
--- a/src/generic/tcb.c
+++ b/src/generic/tcb.c
@@ -17,7 +17,6 @@
 /* ID pools for threads and spaces. */
 struct id_pool *thread_id_pool;
 struct id_pool *space_id_pool;
-struct id_pool *tgroup_id_pool;
 
 /* Hash table for all existing tasks */
 struct ktcb_list {
diff --git a/src/glue/arm/init.c b/src/glue/arm/init.c
index a8fc859..1b9e00c 100644
--- a/src/glue/arm/init.c
+++ b/src/glue/arm/init.c
@@ -337,10 +337,9 @@ void init_tasks()
 	/* Initialise thread and space id pools */
 	thread_id_pool = id_pool_new_init(THREAD_IDS_MAX);
 	space_id_pool = id_pool_new_init(SPACE_IDS_MAX);
-	tgroup_id_pool = id_pool_new_init(TGROUP_IDS_MAX);
 	ids.tid = id_new(thread_id_pool);
 	ids.spid = id_new(space_id_pool);
-	ids.tgid = id_new(tgroup_id_pool);
+	ids.tgid = ids.tid;
 
 	/* Initialise the global task and address space lists */
 	init_ktcb_list();