l4/pkg/bootstrap_custom/server/src/Makeconf.local

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