update

[l4.git] / 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 15f9bab87ed5ba3bb34f720635294fee85e7422d..0c6a9a192e7395a2e5bc05e1199b4c504cba0514 100644 (file)
--- 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)