* Please see the COPYING-GPL-2 file for details.
*/
#include <l4/sys/compiler.h>
-#define JH
-#ifdef JH
+#ifdef JAILHOUSE
#include "inmate.h"
#define X86_CR0_PE 0x00000001
or $X86_CR0_PE,%al
mov %eax,%cr0
- ljmpl $INMATE_CS32,$_start + FSEGMENT_BASE
+ ljmpl $INMATE_CS32,$_start
.code32
#our jailhouse-specific build config
DEFINES += -DJAILHOUSE
-#DEFINES += -DIMAGE_MODE
-#DEFINES += -DREALMODE_LOADING
+DEFINES += -DIMAGE_MODE
+DEFINES += -DREALMODE_LOADING
+DEFINES += -DRAM_SIZE_MB
_x86_pc_platform.realmode_pointer = realmode_si;
cmdline = _x86_pc_platform.cmdline();
if (!cmdline)
- cmdline = _mbi_cmdline;
+ cmdline = 0;//_mbi_cmdline;
#else
(void)realmode_si;
assert(p2 == L4UTIL_MB_VALID); /* we need to be multiboot-booted */