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

[l4.git] / l4 / pkg / bootstrap_custom / server / src / startup.cc

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());