Call main with passed command line instead of hardcoded one.

diff --git a/platform/baremetal/init.c b/platform/baremetal/init.c
index 88831a02a2153a920c1155264ebea78fd2cd4452..d505aa4a1653c296eba42a0f0ae13cbee1bd7e67 100644 (file)
--- a/platform/baremetal/init.c
+++ b/platform/baremetal/init.c
@@ -30,16 +30,16 @@
 #include <bmk/app.h>
 
 #include <rumprun-base/rumprun.h>
+#include <rumprun-base/config.h>
 
 void
 bmk_mainthread(void *cmdline)
 {
-        char *argv[] = {"bmk_main", 0};
        void *cookie;
 
        rumprun_boot(cmdline);
 
-       cookie = rumprun(main, 1, argv);
+       cookie = rumprun(main, rumprun_cmdline_argc, rumprun_cmdline_argv);
        rumprun_wait(cookie);
 
        rumprun_reboot();