#include <tty.h>
#include <irq/i8259a.h>
+#include <io.h>
#include <stdint.h>
typedef uint32_t uword_t;
{
pic_send_eoi(1);
kprint("Got a keyboard interrupt!\n", 0);
+ inb(0x60);
}
*(volatile char *) (0xb8000) = ":";
*(volatile char *) (0xb8002) = "(";
asm volatile ("cli; hlt");
+ while(1);
}