void bmk_cpu_boot(void *argh) { bmk_cons_clear(); bmk_cpu_init(); bmk_sched_init(); bmk_multiboot(bmk_cpu_multiboot_info); spl0(); bmk_run(bmk_multiboot_cmdline); }
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 }