Use interrupt frame and new double fault handler

[nameless-os.git] / kernel / kernel.c

diff --git a/kernel/kernel.c b/kernel/kernel.c
index 2af33720caf647ea2bf8e13a7df572795eb0cd07..c82bd4d7bc085d4f36ed4dbad94df65dbf304250 100644 (file)
--- a/kernel/kernel.c
+++ b/kernel/kernel.c
@@ -10,6 +10,47 @@ struct idt_descriptor idt[256] __attribute__((aligned(0x10)));
 struct idtr idtr __attribute__((aligned(0x10)));
 extern void (*_int_handler_table[48])(void);
 
+/* Small handler for double faults. Will be put elsewhere eventually. */
+int double_fault_handler(struct interrupt_frame *frame)
+{
+       kprint("PANIC: Double fault occurred!\n", VGA_COLOR_BRIGHT_RED);
+       kprint("EAX: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->eax);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("EBX: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->ebx);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("ECX: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->ecx);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("EDX: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->edx);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("EBP: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->ebp);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("ESP: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->esp);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("ESI: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->esi);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("EDI: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->edi);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("EIP: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->eip);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+       kprint("EFLAGS: ", VGA_COLOR_BRIGHT_RED);
+       kprintd(frame->eflags);
+       kprint("\n", VGA_COLOR_BRIGHT_RED);
+
+       /* IF has already been cleared for us */
+halt:
+       asm("hlt");
+       goto halt;
+}
+
 void kmain(void)
 {
        int ps2_success;
@@ -25,6 +66,7 @@ void kmain(void)
        populate_idtr(&idtr, idt);
        load_idt(idtr);
        kprint("Setting up interrupts...\n", 0);
+       register_interrupt(8, &double_fault_handler);
        pic_init(0x20, 0x28);
        pic_mask_all();
        ps2_success = ps2_initialize();