kbd: use a better get_key method
[thunix.git] / kernel / panic.c
blobb3ad06a956bb6fa8751a0bc1bc2a6d8e10f128fa
1 #include <stdio.h>
3 void panic(const char * s)
5 printk("Kernel panic: %s\n",s);
6 for(;;)