X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5ebb28e721042d0ceecd76e4cdccab4b9396dcc5..b7de9b4e2923dd8b13fad695beeaafe16737facd:/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 d29ac932e..e1470ce88 100644
--- 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());