]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/bootstrap_custom/server/src/Makeconf.local
fiasco: bootstrap: Fix mistake in local config.
[l4.git] / l4 / pkg / bootstrap_custom / server / src / Makeconf.local
index 1251ba110dae4633ef9ed08cd8a1757add49c364..c87528c18f3e496ff1dcbd84e0497473e41631d2 100644 (file)
@@ -1,4 +1,5 @@
 #our jailhouse-specific build config
 DEFINES += -DJAILHOUSE
-#DEFINES += -DIMAGE_MODE
-#DEFINES += -DREALMODE_LOADING
+DEFINES += -DIMAGE_MODE
+DEFINES += -DREALMODE_LOADING
+DEFINES += -DRAM_SIZE_MB=0x44ff000