X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/b44ae30b529cdd0374c8590e34d4d398adaf8b03..334cc72b9b4eacba3a46f44d16c63e5dcdb1648a:/l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc

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 7a4db08c7..427cdbbfb 100644
--- 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;
@@ -382,7 +382,7 @@ void __main(l4util_mb_info_t *mbi, unsigned long p2, char const *realmode_si,
   cmdline = (char const *)(l4_addr_t)mbi->cmdline;
 #endif
   _x86_pc_platform.setup_uart(cmdline);
-
+  printf("cmdline:%p, realmode_si=%p\n", cmdline, realmode_si);
   startup(cmdline);
 }