Clean up the warning messages

[thunix.git] / kernel / panic.c

#include <kernel.h>

void panic(const char * s)
{
        printk("Kernel panic: %s\n",s);
        for(;;)
                ;
}