#include <stdio.h>
#include <string.h>
#ifdef KERNEL
+#include "threads/init.h"
#include "threads/interrupt.h"
#include "devices/serial.h"
#else
debug_backtrace ();
+ printf ("The `backtrace' program can make call stacks useful.\n"
+ "Read \"Backtraces\" in the \"Debugging Tools\" chapter\n"
+ "of the Pintos documentation for more information.\n");
+
#ifdef KERNEL
serial_flush ();
- power_off ();
+ if (power_off_when_done)
+ power_off ();
+ for (;;);
#else
exit (1);
#endif