Update Checkbochs patches.

[pintos-anon] / src / misc / checkbochs.README

diff --git a/src/misc/checkbochs.README b/src/misc/checkbochs.README
new file mode 100644 (file)
index 0000000..e2eeda3
--- /dev/null
+++ b/src/misc/checkbochs.README
@@ -0,0 +1,7 @@
+The patch in checkbochs.patch must be applied to Pintos before
+Checkbochs will be useful.  To apply it, `cd' to pintos/src and type
+       patch -p2 < misc/checkbochs.patch
+
+Checkbochs and this patch were written by Sorav Bansal
+<sbansal@stanford.edu>.  They have been modified by Ben Pfaff
+<blp@cs.stanford.edu>.