...

src/kernel.c

@@ -1,5 +1,5 @@
 #include "kernel.h"
-#include "idt.h"
+#include "interrupts.h"
 #include "keyboard.h"
 #include "vga.h"
 
@@ -17,11 +17,17 @@ void kernel_main()
 
     while (true)
     {
+        __asm__ volatile ("cli");
+        __asm__ volatile ("hlt");
     }
 }
 
 void kernel_panic()
 {
     vga_print("Kernel panic!\n");
-    __asm__ volatile("cli; hlt");
+    while (true)
+    {
+        __asm__ volatile ("cli");
+        __asm__ volatile ("hlt");
+    }
 }