fiasco: bootstrap: platform: Set cmdline option to be empty.

diff --git a/l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc b/l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc
index 17b24edbaecf1abdde1a26808239f01512fddab8..56f99d6a04f83a8a1810e5b88b59b35aed333726 100644 (file)
--- a/l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc
+++ b/l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc
@@ -372,8 +372,8 @@ void __main(l4util_mb_info_t *mbi, unsigned long p2, char const *realmode_si,
   (void)mbi;
   (void)p2;
   _x86_pc_platform.realmode_pointer = realmode_si;
-  cmdline = _x86_pc_platform.cmdline();
-//  if (!cmdline)
+  cmdline = "";//_x86_pc_platform.cmdline();
+// if (!cmdline)
 //    cmdline = _mbi_cmdline;
 #else
   (void)realmode_si;