update

[l4.git] / kernel / fiasco / src / kern / pic-i8259.cpp

diff --git a/kernel/fiasco/src/kern/pic-i8259.cpp b/kernel/fiasco/src/kern/pic-i8259.cpp
index b8d60fd77b6956530e3919a66e42a84657ce90cf..cece0e0fcac637945aed7144e3249d1a3640ddde 100644 (file)
--- a/kernel/fiasco/src/kern/pic-i8259.cpp
+++ b/kernel/fiasco/src/kern/pic-i8259.cpp
@@ -137,10 +137,9 @@ IMPLEMENTATION[i8259]:
 #include <cassert>
 
 #include "io.h"
-#include "boot_info.h"
-#include "cmdline.h"
 #include "config.h"
 #include "initcalls.h"
+#include "koptions.h"
 #include "mem_layout.h"
 
 int Pic::special_fully_nested_mode = 1; // be compatible with Jochen's L4
@@ -215,7 +214,7 @@ Pic::pic_init(unsigned char master_base, unsigned char slave_base)
   // *** VMware Workstation internal monitor error ***
   // BUG F(152):393 bugNr=4388
 
-  if (strstr (Cmdline::cmdline(), " -nosfn"))
+  if (Koptions::o()->opt(Koptions::F_nosfn))
     special_fully_nested_mode = 0;
 
   if (special_fully_nested_mode)