int
execve(const char *file, char *const argv[], char *const envp[])
{

	bmk_cons_puts("execve not implemented\n");
	return -1;
}
void
bmk_main(struct multiboot_info *mbi)
{

	bmk_cons_puts("rump kernel bare metal bootstrap\n\n");
	if ((mbi->flags & MULTIBOOT_MEMORY_INFO) == 0) {
		bmk_cons_puts("multiboot memory info not available\n");
		return;
	}
	if (parsemem(mbi->mmap_addr, mbi->mmap_length))
		return;
	bmk_cpu_init();
	bmk_sched_init();

	rump_init();
	rump_pub_netconfig_dhcp_ipv4_oneshot("wm0");

#ifdef RUMPRUN_APP
	/* run 'em if you got 'em */
	bmk_app_main();
#endif
}