void kmain() {
	*(char*)0xB8000 = 'c';
	while(1) {
		__asm("cli; hlt");
	}
}