#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);
}
__attribute__((interrupt))
void double_fault(struct abort_frame *frame)
{
- *(volatile char *) (0xb8000) = ":";
- *(volatile char *) (0xb8002) = "(";
+ *(volatile uint32_t *) (0xb8000) = 0xcf28cf3a;
+halt:
asm volatile ("cli; hlt");
+ goto halt;
}