X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.1.1.patch;fp=src%2Fmisc%2Fbochs-2.1.1.patch;h=942b82f1d8d8d35ca8ababac076f15ee3164d2dc;hb=9ad2fa73d2c0361aa7e14134045b27f08872379f;hp=d55d83ed73012e0572af614ca6009c6af8525940;hpb=fd1357a71f1c745b487edee9a903136dc8f1c990;p=pintos-anon

diff --git a/src/misc/bochs-2.1.1.patch b/src/misc/bochs-2.1.1.patch
index d55d83e..942b82f 100644
--- a/src/misc/bochs-2.1.1.patch
+++ b/src/misc/bochs-2.1.1.patch
@@ -20,6 +20,9 @@ You will have to supply the proper path to the patch, of course.  You
 can provide the --dry-run option to patch if you want to test whether
 the patch would apply cleanly before actually patching.
 
+To apply a subset of the patches, use a text editor to delete the
+unwanted patches, then follow the above instructions.
+
 Here's a ./configure invocation for Bochs that works optimally with
 the `pintos' utility:
 	./configure --with-x --with-x11 --with-term --with-nogui