void bmk_mainthread(void *cmdline) { void *cookie; rumprun_boot(cmdline); RUNMAINS(); while ((cookie = rumprun_get_finished()) != NULL) rumprun_wait(cookie); rumprun_reboot(); }
int app_main(start_info_t *si) { void *cookie; rumprun_boot(get_config((char *)si->cmd_line)); RUNMAINS(); while ((cookie = rumprun_get_finished()) != NULL) rumprun_wait(cookie); rumprun_reboot(); }