Exemple #1
0
void
bmk_mainthread(void *cmdline)
{
	void *cookie;

	rumprun_boot(cmdline);

	RUNMAINS();

	while ((cookie = rumprun_get_finished()) != NULL)
		rumprun_wait(cookie);

	rumprun_reboot();
}
Exemple #2
0
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();
}