#include #include struct pcore g_bsp; /* * Kernel entrypoint */ __dead void main(void) { cpu_conf(&g_bsp); for (;;); }