#include "src/panic.h"
#include "src/vga.h"

void kernel_panic(const char *msg, __attribute__((unused)) const char *file, __attribute__((unused)) int line) {
  vga_set_string(0, VGA_HEIGHT - 1, msg, 0x28);
  while (1)
    ;
}