#include <kernel/panic.h>

[[noreturn]]
void panic() {
    // TODO
    while (1) {}
}