Fix a mistaken passing of cmdline parameter.

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 56f99d6a04f83a8a1810e5b88b59b35aed333726..7a4db08c7dfce80608a84215a18ed66fe5b87d43 100644 (file)
--- a/l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc
+++ b/l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc
@@ -65,7 +65,7 @@ struct Platform_x86_1 : Platform_x86
 
   char const *cmdline() const
   {
-    return 0;
+    //return 0;
     l4_uint32_t p = *(l4_uint32_t*)(realmode_pointer + 0x228);
     if (!p)
       return 0;
@@ -372,9 +372,9 @@ 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 = _mbi_cmdline;
+   cmdline = _x86_pc_platform.cmdline();
+ if (!cmdline)
+    cmdline = "";
 #else
   (void)realmode_si;
   assert(p2 == L4UTIL_MB_VALID); /* we need to be multiboot-booted */