[Minios-devel] [UNIKRAFT/LIBMICROPYTHON PATCH 6/7] Add optional main()

[Felipe Huici <felipe.huici@xxxxxxxxx>]

We add an optional main, selectable from the menu, that forwards
parameters to Micropython's main function.

Signed-off-by: Felipe Huici <felipe.huici@xxxxxxxxx
---
 main.c | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 main.c

diff --git a/main.c b/main.c
new file mode 100644
index 0000000..2848e90
--- /dev/null
+++ b/main.c
@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+/* Import user configuration: */
+#include <uk/config.h>
+
+int main(int argc, char *argv[])
+{
+  micropython_main(argc, argv);
+  return 0;
+}
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel