Rev 583 | 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");
sys_abort(200); /* Just a number... */
}