We add an optional main, selectable from the menu, that forwards
parameters to Micropython's main function.
Signed-off-by: Felipe Huici <felipe.huici@neclab.eu
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>
--- /dev/null
+#include <stdio.h>
+
+/* Import user configuration: */
+#include <uk/config.h>
+
+int main(int argc, char *argv[])
+{
+ micropython_main(argc, argv);
+ return 0;
+}