#include #include void panic(const char *str) { kprintf("KERNEL PANIC\n"); kprintf("ERROR: %s\n", str); while (1); }