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 3e9ed58f91d490991858f1b73051acaec40b8574..6aa8ca0cff8eaeeeb54a5187cf25e4b1ad2093fe 100644 (file)
--- a/l4/pkg/bootstrap_custom/server/src/Makeconf.local
+++ b/l4/pkg/bootstrap_custom/server/src/Makeconf.local
@@ -2,4 +2,5 @@
 DEFINES += -DJAILHOUSE
 DEFINES += -DIMAGE_MODE
 DEFINES += -DREALMODE_LOADING
-DEFINES += -DRAM_SIZE_MB=0x3bff000
+#DEFINES += -DRAM_SIZE_MB=50
+BOOTSTRAP_CMDLINE+= -mem=1M@0x0 -mem=50M@0x100000 -maxmem=51M