fiasco: bootstrap: Try to launch bootstrap in real mode. Gives an error with PIO...

[l4.git] / l4 / pkg / bootstrap_custom / server / src / Makeconf.local

diff --git a/l4/pkg/bootstrap_custom/server/src/Makeconf.local b/l4/pkg/bootstrap_custom/server/src/Makeconf.local
index 016ee67e22841faba240687abf66aedd1202345a..5056ba83824ffa952ca2be02cf77f7a4b43f7cc3 100644 (file)
--- a/l4/pkg/bootstrap_custom/server/src/Makeconf.local
+++ b/l4/pkg/bootstrap_custom/server/src/Makeconf.local
@@ -1,4 +1,5 @@
-#edited by coon 10 apr
-#REALMODE_LOADING=1
-#JAILHOUSE
-#IMAGE_MODE
\ No newline at end of file
+#our jailhouse-specific build config
+DEFINES += -DJAILHOUSE
+DEFINES += -DIMAGE_MODE
+DEFINES += -DREALMODE_LOADING
+DEFINES += -DRAM_SIZE_MB