diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index c0cd09a240..ab41e5861e 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -102,13 +102,13 @@ namespace Kernel
 namespace Kernel
 {
 	class Vm;
-	typedef Id_allocator<MAX_VMS> Vm_ids;
-	typedef Object_pool<Vm>       Vm_pool;
+	class Vm_ids : public Id_allocator<MAX_VMS> { };
+	typedef Object_pool<Vm> Vm_pool;
 
 	Vm_ids  * vm_ids();
 	Vm_pool * vm_pool();
 
-	class Vm : public Object<Vm, MAX_VMS, vm_ids, vm_pool>,
+	class Vm : public Object<Vm, MAX_VMS, Vm_ids, vm_ids, vm_pool>,
 	           public Execution_context
 	{
 		private:
diff --git a/base-hw/src/core/kernel/object.h b/base-hw/src/core/kernel/object.h
index 2b2b018c62..407d4bdf2a 100644
--- a/base-hw/src/core/kernel/object.h
+++ b/base-hw/src/core/kernel/object.h
@@ -52,10 +52,15 @@ namespace Kernel
 	 * \param MAX_INSTANCES  max amount of coincidently living objects
 	 * \param ID_ALLOC       accessor function of object-name allocator
 	 * \param POOL           accessor function of object pool
+	 *
+	 * FIXME: Most of the bother with template parameters regarding ID
+	 *        allocator and object pool is caused by the use of
+	 *        unsynchronized singletons. By avoiding the use of
+	 *        unsynchronized singletons one can at least remove
+	 *        ID_ALLOC_T.
 	 */
-	template <typename T, unsigned MAX_INSTANCES,
-	          Id_allocator<MAX_INSTANCES> * (*ID_ALLOC)(),
-	          Kernel::Object_pool<T> * (* POOL)()>
+	template <typename T, unsigned MAX_INSTANCES, typename ID_ALLOC_T,
+	          ID_ALLOC_T * (*ID_ALLOC)(), Kernel::Object_pool<T> * (* POOL)()>
 
 	class Object;
 }
@@ -198,9 +203,8 @@ class Kernel::Id_allocator
 		}
 };
 
-template <typename T, unsigned MAX_INSTANCES,
-          Kernel::Id_allocator<MAX_INSTANCES> * (* ID_ALLOC)(),
-          Kernel::Object_pool<T> * (* POOL)()>
+template <typename T, unsigned MAX_INSTANCES, typename ID_ALLOC_T,
+          ID_ALLOC_T * (* ID_ALLOC)(), Kernel::Object_pool<T> * (* POOL)()>
 
 class Kernel::Object : public Object_pool<T>::Item
 {
diff --git a/base-hw/src/core/kernel/pd.h b/base-hw/src/core/kernel/pd.h
index 9f0e2bd3cb..54074f1e92 100644
--- a/base-hw/src/core/kernel/pd.h
+++ b/base-hw/src/core/kernel/pd.h
@@ -54,8 +54,8 @@ namespace Kernel
 	 */
 	class Pd;
 
-	typedef Id_allocator<MAX_PDS> Pd_ids;
-	typedef Object_pool<Pd>       Pd_pool;
+	class Pd_ids : public Id_allocator<MAX_PDS> { };
+	typedef Object_pool<Pd> Pd_pool;
 
 	Pd_ids  * pd_ids();
 	Pd_pool * pd_pool();
@@ -144,7 +144,7 @@ class Kernel::Mode_transition_control
 		}
 };
 
-class Kernel::Pd : public Object<Pd, MAX_PDS, pd_ids, pd_pool>
+class Kernel::Pd : public Object<Pd, MAX_PDS, Pd_ids, pd_ids, pd_pool>
 {
 	private:
 
diff --git a/base-hw/src/core/kernel/signal_receiver.h b/base-hw/src/core/kernel/signal_receiver.h
index 72d9e51dd0..96c37ae2d5 100644
--- a/base-hw/src/core/kernel/signal_receiver.h
+++ b/base-hw/src/core/kernel/signal_receiver.h
@@ -49,10 +49,10 @@ namespace Kernel
 	 */
 	class Signal_receiver;
 
-	typedef Id_allocator<MAX_SIGNAL_CONTEXTS>  Signal_context_ids;
-	typedef Object_pool<Signal_context>        Signal_context_pool;
-	typedef Id_allocator<MAX_SIGNAL_RECEIVERS> Signal_receiver_ids;
-	typedef Object_pool<Signal_receiver>       Signal_receiver_pool;
+	class Signal_context_ids  : public Id_allocator<MAX_SIGNAL_CONTEXTS> { };
+	class Signal_receiver_ids : public Id_allocator<MAX_SIGNAL_RECEIVERS> { };
+	typedef Object_pool<Signal_context>  Signal_context_pool;
+	typedef Object_pool<Signal_receiver> Signal_receiver_pool;
 
 	Signal_context_ids   * signal_context_ids();
 	Signal_context_pool  * signal_context_pool();
@@ -194,7 +194,7 @@ class Kernel::Signal_receiver_killer
 class Kernel::Signal_context
 :
 	public Object<Signal_context, MAX_SIGNAL_CONTEXTS,
-	              signal_context_ids, signal_context_pool>
+	              Signal_context_ids, signal_context_ids, signal_context_pool>
 {
 	friend class Signal_receiver;
 	friend class Signal_context_killer;
@@ -313,7 +313,8 @@ class Kernel::Signal_context
 class Kernel::Signal_receiver
 :
 	public Object<Signal_receiver, MAX_SIGNAL_RECEIVERS,
-	              signal_receiver_ids, signal_receiver_pool>,
+	              Signal_receiver_ids, signal_receiver_ids,
+	              signal_receiver_pool>,
 	public Signal_context_killer
 {
 	friend class Signal_context;
diff --git a/base-hw/src/core/kernel/thread.h b/base-hw/src/core/kernel/thread.h
index 04721fd959..d564d821c2 100644
--- a/base-hw/src/core/kernel/thread.h
+++ b/base-hw/src/core/kernel/thread.h
@@ -58,8 +58,8 @@ namespace Kernel
 	 */
 	class Thread;
 
-	typedef Id_allocator<MAX_THREADS> Thread_ids;
-	typedef Object_pool<Thread>       Thread_pool;
+	class Thread_ids : public Id_allocator<MAX_THREADS> { };
+	typedef Object_pool<Thread> Thread_pool;
 
 	Thread_ids  * thread_ids();
 	Thread_pool * thread_pool();
@@ -91,7 +91,7 @@ class Kernel::Execution_context : public Cpu_scheduler::Item
 class Kernel::Thread
 :
 	public Cpu::User_context,
-	public Object<Thread, MAX_THREADS, thread_ids, thread_pool>,
+	public Object<Thread, MAX_THREADS, Thread_ids, thread_ids, thread_pool>,
 	public Execution_context,
 	public Ipc_node,
 	public Irq_receiver,