pintos-os.org Git - pintos-anon/blob - grading/threads/panic.diff

   1 diff -up /home/blp/cs140/pintos/src/lib/debug.c.\~1.8.\~ /home/blp/cs140/pintos/src/lib/debug.c
   2 --- /home/blp/cs140/pintos/src/lib/debug.c.~1.8.~       2004-09-12 13:14:11.000000000 -0700
   3 +++ /home/blp/cs140/pintos/src/lib/debug.c      2004-10-17 00:02:32.000000000 -0700
   4 @@ -5,6 +5,7 @@
   5  #include <stdio.h>
   6  #include <string.h>
   7  #ifdef KERNEL
   8 +#include "threads/init.h"
   9  #include "threads/interrupt.h"
  10  #include "devices/serial.h"
  11  #else
  12 @@ -83,7 +84,7 @@ debug_panic (const char *file, int line,
  13
  14  #ifdef KERNEL
  15    serial_flush ();
  16 -  for (;;);
  17 +  power_off ();
  18  #else
  19    exit (1);
  20  #endif