update

[l4.git] / kernel / fiasco / src / kern / ux / startup.cpp

diff --git a/kernel/fiasco/src/kern/ux/startup.cpp b/kernel/fiasco/src/kern/ux/startup.cpp
index cd7ec7bb4c58e47ec3ed479f2ec13d6088f46d10..5084a4bf61a7c90e3152b42e281185f5d67114a2 100644 (file)
--- a/kernel/fiasco/src/kern/ux/startup.cpp
+++ b/kernel/fiasco/src/kern/ux/startup.cpp
@@ -10,6 +10,7 @@ IMPLEMENTATION:
 #include "idt.h"
 #include "initcalls.h"
 #include "jdb.h"
+#include "kernel_console.h"
 #include "kernel_task.h"
 #include "kip_init.h"
 #include "kmem.h"
@@ -30,6 +31,7 @@ STATIC_INITIALIZER_P(startup_system2, STARTUP_INIT_PRIO);
 static void FIASCO_INIT
 startup_system1()
 {
+  Kconsole::init();
   Usermode::init(0);
   Boot_info::init();
   Config::init();