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

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

diff --git a/l4/pkg/bootstrap_custom/server/src/startup.cc b/l4/pkg/bootstrap_custom/server/src/startup.cc
index d29ac932e7ad81196335eb31652bfec837cb5841..e1470ce88d8c6333e3aa774b7d5d6b37df6592e0 100644 (file)
--- a/l4/pkg/bootstrap_custom/server/src/startup.cc
+++ b/l4/pkg/bootstrap_custom/server/src/startup.cc
@@ -630,7 +630,7 @@ startup(char const *cmdline)
        ", " __VERSION__
 #endif
       );
-
+  printf(" cmdline params: '%s'\n", cmdline);
   regions.init(__regs, "regions");
   ram.init(__ram, "RAM", get_memory_max_size(cmdline), get_memory_max_address());