void keyboard_install_handler (void) { idt_install_handler (KEYBOARD_IRQ, keyboard_handler); }
void init_debug() { // irq_install_handler(0x80, &syscall_handler); idt_install_handler(127, &debug_handler); }