+anyway. This patch is useful everywhere with `pintos', but may not be
+wanted elsewhere.
+
+Here's a ./configure invocation for Bochs that works optimally with
+the `pintos' utility:
+ ./configure --with-x --with-x11 --with-term --with-nogui
+If you want the gdb stub, add --enable-gdb-stub
+If you want the internal debugger, add --enable-debugger