void kmain(void *boot_info) {
	while(1) {
		asm("cli; hlt");
	}
}