Rev 629 | Details | Compare with Previous | Last modification | View Log | RSS feed
#include <string.h>
#include <kernel/kern.h>
void panic_stub(void)
{
cprintf("Panic: stub called!!!\n");
exit(200); /* Just a number... */
}