X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmisc%2Fcheckbochs.patch;h=f0b7fb6b68ee0ef7e07470f4528a3fb2ff12250f;hb=refs%2Fheads%2Feraser;hp=21474bad39d1666ad55e34bac47a835794f65da2;hpb=15bf8576988f25b44fdbdf59fc18b1e5576b3277;p=pintos-anon

diff --git a/src/misc/checkbochs.patch b/src/misc/checkbochs.patch
index 21474ba..f0b7fb6 100644
--- a/src/misc/checkbochs.patch
+++ b/src/misc/checkbochs.patch
@@ -1,10 +1,3 @@
-This patch must be applied to Pintos before Checkbochs may be usefully
-applied to it.  To apply it, `cd' to pintos/src and type
-	patch -p2 < misc/checkbochs.patch
-
-Written by Sorav Bansal <sbansal@stanford.edu>.
-Modified by Ben Pfaff <blp@cs.stanford.edu>.
-
 diff -X ignore -urpN pintos.orig/src/lib/debug.h pintos.eraser/src/lib/debug.h
 --- pintos.orig/src/lib/debug.h	2005-06-18 20:20:49.000000000 -0700
 +++ pintos.eraser/src/lib/debug.h	2005-06-29 22:38:01.000000000 -0700