stuff

kernel/drivers/keyboard.c

@@ -88,6 +88,7 @@ char getc() {
 KeyEvent *get_next_event() {
     KeyEvent *target = malloc(sizeof(KeyEvent));
     if (!ring_buffer_get(keyboard_event_buffer, target)) {
+        asm("hlt");
         free(target);
         return NULL;
     }