kernel/panic.c


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

#include "panic.h"
#include <stdio.h>

__attribute__((noreturn)) void panic(const char *str, ...)
{
    /* no printf formatting for now */
    printf("KERNEL PANIC: %s", str);
    for(;;)
    {
        asm("cli");
        asm("hlt");
    }
}