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