src/kernel/panic.c


1
2
3
4
5
6
7
8
9
10
11
12
13

#include "panic.h"
#include "log.h"
#include "vga.h"

void panic(const char *message) {
  vga_set_color(0x4f);
  vga_blank();
  logsz("Kernel panic: ");
  logsz(message);
  logsz("\nHalting.");
  while (1)
    asm volatile ("hlt");
}