From: Antti Kantee <pooka@iki.fi>
Date: Tue, 28 Apr 2015 08:53:06 +0000 (+0000)
Subject: Call main with passed command line instead of hardcoded one.
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=87bd83efd765174e5ff14e12f235809d1f438b8b;p=people%2Fliuw%2Frumprun.git

Call main with passed command line instead of hardcoded one.
---

diff --git a/platform/baremetal/init.c b/platform/baremetal/init.c
index 88831a0..d505aa4 100644
--- 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();