diff --git a/base-hw/src/core/kernel/processor.h b/base-hw/src/core/kernel/processor.h
index f56dc277b0..12606b46f4 100644
--- a/base-hw/src/core/kernel/processor.h
+++ b/base-hw/src/core/kernel/processor.h
@@ -23,8 +23,6 @@
 
 namespace Kernel
 {
-	typedef Cpu_scheduler Processor_scheduler;
-
 	/**
 	 * Thread that consumes processor time if no other thread is available
 	 */
diff --git a/base-hw/src/core/kernel/scheduler.h b/base-hw/src/core/kernel/scheduler.h
index 2b1a97065b..36e8a74d12 100644
--- a/base-hw/src/core/kernel/scheduler.h
+++ b/base-hw/src/core/kernel/scheduler.h
@@ -59,7 +59,7 @@ namespace Kernel
 	 */
 	class Execution_context;
 
-	typedef Scheduler<Execution_context> Cpu_scheduler;
+	typedef Scheduler<Execution_context> Processor_scheduler;
 }
 
 template <typename T>
@@ -299,7 +299,7 @@ class Kernel::Scheduler
 		T * idle() const { return _idle; }
 };
 
-class Kernel::Execution_context : public Cpu_scheduler::Item
+class Kernel::Execution_context : public Processor_scheduler::Item
 {
 	private:
 
@@ -363,7 +363,7 @@ class Kernel::Execution_context : public Cpu_scheduler::Item
 		 */
 		Execution_context(Processor * const processor, Priority const priority)
 		:
-			Cpu_scheduler::Item(priority),
+			Processor_scheduler::Item(priority),
 			__processor(processor)
 		{ }