void _start(int memSize, char *parms, struct boot_dir *loadedfiles) { kern_main(); asm("cli"); asm("hlt"); }
void kern_init (uintptr_t mbi_addr) { thread_init(mbi_addr); KERN_INFO("[BSP KERN] Kernel initialized.\n"); kern_main (); }
void kern_init (uintptr_t mbi_addr) { thread_init(mbi_addr); KERN_DEBUG("Kernel initialized.\n"); kern_main (); }
int main(void) { kern_main(); return 0; }