#our jailhouse-specific build config
DEFINES += -DJAILHOUSE
DEFINES += -DIMAGE_MODE
DEFINES += -DREALMODE_LOADING
#DEFINES += -DRAM_SIZE_MB=50
BOOTSTRAP_CMDLINE+= -mem=1M@0x0 -mem=50M@0x100000 -maxmem=51M