|
#include "vga.h"
|
|
#include <hal/ops.h>
|
|
#include <print/print.h>
|
|
|
|
void panic(const char *message, const char *filename, int line) {
|
|
vga_clear(VGA_BLUE);
|
|
printf("KernOS kernel panic:\n%s\n", message);
|
|
printf("at %s:%d", filename, line);
|
|
halt_catch_fire();
|
|
}
|