src/kernel/panic.c


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

#include <stdint.h>
#include "vga.h"
#include "serial.h"
#include "util.h"
#include "panic.h"

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