update

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

diff --git a/kernel/fiasco/src/kern/ux/kernel_thread-ux.cpp b/kernel/fiasco/src/kern/ux/kernel_thread-ux.cpp
index 8875789ebacb1d83e3658d8c5fdd811342377b7f..f6ec16a3e7b2fd34f8f03175113bdd2a6ce33056 100644 (file)
--- a/kernel/fiasco/src/kern/ux/kernel_thread-ux.cpp
+++ b/kernel/fiasco/src/kern/ux/kernel_thread-ux.cpp
@@ -13,9 +13,9 @@ IMPLEMENTATION[ux]:
 
 #include <unistd.h>
 #include <sys/mman.h>
-#include "boot_info.h"
 #include "fb.h"
 #include "kdb_ke.h"
+#include "koptions.h"
 #include "net.h"
 #include "mem_layout.h"
 #include "pic.h"
@@ -48,11 +48,8 @@ Kernel_thread::bootstrap_arch()
   nested_trap_handler      = Trap_state::base_handler;
   Trap_state::base_handler = thread_handle_trap;
 
-  if (Boot_info::jdb_cmd())
-    kdb_ke_sequence(Boot_info::jdb_cmd());
-
-  if (Boot_info::wait())
-    kdb_ke("Wait");
+  if (Koptions::o()->opt(Koptions::F_jdb_cmd))
+    kdb_ke_sequence(Koptions::o()->jdb_cmd);
 
   boot_app_cpus();
 }