char const *cmdline() const
{
- return 0;
+ //return 0;
l4_uint32_t p = *(l4_uint32_t*)(realmode_pointer + 0x228);
if (!p)
return 0;
(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 */