X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/kern/static_init.h

diff --git a/kernel/fiasco/src/kern/static_init.h b/kernel/fiasco/src/kern/static_init.h
index 15f9bab87..0c6a9a192 100644
--- a/kernel/fiasco/src/kern/static_init.h
+++ b/kernel/fiasco/src/kern/static_init.h
@@ -19,9 +19,7 @@
 #define STARTUP1_INIT_PRIO       DEPENDS_ON(EARLY_INIT_PRIO)
 // at this stage spinlocks must be working
 #define ROOT_FACTORY_INIT_PRIO   DEPENDS_ON(STARTUP1_INIT_PRIO)
-#define BOOT_CONSOLE_INIT_PRIO   DEPENDS_ON(ROOT_FACTORY_INIT_PRIO)
-#define GDB_INIT_PRIO            DEPENDS_ON(BOOT_CONSOLE_INIT_PRIO)
-#define UART_INIT_PRIO		 DEPENDS_ON(BOOT_CONSOLE_INIT_PRIO)
+#define GDB_INIT_PRIO            DEPENDS_ON(ROOT_FACTORY_INIT_PRIO)
 #define STARTUP_INIT_PRIO        DEPENDS_ON(GDB_INIT_PRIO)
 #define CPU_LOCAL_BASE_INIT_PRIO DEPENDS_ON(STARTUP_INIT_PRIO)
 #define CPU_LOCAL_INIT_PRIO	 DEPENDS_ON(CPU_LOCAL_BASE_INIT_PRIO)