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