X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.2.6.README;h=1224dd7cef253aea90c8705ca7e580c852452442;hb=a0e73d383085ae1f24af47ef3a3be98193a3b61b;hp=3d38b5469b7da70825745073bab0a9c8726c65c5;hpb=68d3a93433f506864f6c6cec8af0f5f4538a4a40;p=pintos-anon

diff --git a/src/misc/bochs-2.2.6.README b/src/misc/bochs-2.2.6.README
index 3d38b54..1224dd7 100644
--- a/src/misc/bochs-2.2.6.README
+++ b/src/misc/bochs-2.2.6.README
@@ -12,6 +12,11 @@ patches for this version of Bochs are included:
 	Adds the `jitter' feature described in the project documentation,
 	in which timer interrupts are delivered at random intervals.
 
+    bochs-2.2.6-triple-fault.patch
+
+	Causes Bochs to break to GDB when a triple fault occurs and
+	the GDB stub is active.
+
     bochs-2.2.6-ms-extensions.patch
 
         Needed for Bochs to compile with GCC on some hosts.  Probably
@@ -24,6 +29,7 @@ patches for this version of Bochs are included:
 To apply all the patches, cd into the Bochs directory, then type
 	patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-big-endian.patch
 	patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-jitter.patch
+	patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-triple-fault.patch
 	patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-ms-extensions.patch
 	patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-solaris.patch
 You will have to supply the proper $PINTOSDIR, of course.  You can use