1 This patch forces debug_panic() to terminate Bochs.
2 It is in upstream now, so it is probably time to remove it.
4 diff -up pintos/src/lib/debug.c~ pintos/src/lib/debug.c
5 --- pintos/src/lib/debug.c~ 2004-09-12 13:14:11.000000000 -0700
6 +++ pintos/src/lib/debug.c 2004-10-17 00:02:32.000000000 -0700
11 +#include "threads/init.h"
12 #include "threads/interrupt.h"
13 #include "devices/serial.h"
15 @@ -83,7 +84,7 @@ debug_panic (const char *file, int line,