X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/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 b8d60fd77..cece0e0fc 100644
--- 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)