Use bootstrap cmdline to tell it about target memory layout. Add print for cmdline...

[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..6aa8ca0cff8eaeeeb54a5187cf25e4b1ad2093fe 100644 (file)
--- a/l4/pkg/bootstrap_custom/server/src/Makeconf.local
+++ b/l4/pkg/bootstrap_custom/server/src/Makeconf.local
@@ -1,4 +1,6 @@
-#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=50
+BOOTSTRAP_CMDLINE+= -mem=1M@0x0 -mem=50M@0x100000 -maxmem=51M