X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fpatches%2F00panic.patch;fp=grading%2Ffilesys%2Fpatches%2F00panic.patch;h=0000000000000000000000000000000000000000;hb=d5859f34033fee47c7ae626ea2d3c0b5d83cfe3b;hp=b7d68f0d83d637b32e4e8092487d03abce258a2b;hpb=0d8bcd3b6b87f1d23c29dd03a96c75bb800c7a85;p=pintos-anon

diff --git a/grading/filesys/patches/00panic.patch b/grading/filesys/patches/00panic.patch
deleted file mode 100644
index b7d68f0..0000000
--- a/grading/filesys/patches/00panic.patch
+++ /dev/null
@@ -1,23 +0,0 @@
-This patch forces debug_panic() to terminate Bochs.
-It is in upstream now, so it is probably time to remove it.
-
-diff -up pintos/src/lib/debug.c~ pintos/src/lib/debug.c
---- pintos/src/lib/debug.c~	2004-09-12 13:14:11.000000000 -0700
-+++ pintos/src/lib/debug.c	2004-10-17 00:02:32.000000000 -0700
-@@ -5,6 +5,7 @@
- #include <stdio.h>
- #include <string.h>
- #ifdef KERNEL
-+#include "threads/init.h"
- #include "threads/interrupt.h"
- #include "devices/serial.h"
- #else
-@@ -83,7 +84,7 @@ debug_panic (const char *file, int line,
- 
- #ifdef KERNEL
-   serial_flush ();
--  for (;;);
-+  power_off ();
- #else
-   exit (1);
- #endif