X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.1.1.patch;h=beb23b98c9fede7bb81e7e0f21803c7fcd111030;hb=2fb834e1f01b669851eee9e7a5598bc12df1e5ff;hp=0c233169c5feb6769b89d517ac6d7129ce0171f6;hpb=0772849defdaa98a087c28f4477a9edafe50d6d1;p=pintos-anon

diff --git a/src/misc/bochs-2.1.1.patch b/src/misc/bochs-2.1.1.patch
index 0c23316..beb23b9 100644
--- a/src/misc/bochs-2.1.1.patch
+++ b/src/misc/bochs-2.1.1.patch
@@ -29,7 +29,7 @@ unwanted patches, then follow the above instructions.
 
 Here's a ./configure invocation for Bochs that works optimally with
 the `pintos' utility:
-	./configure --enable-4meg-pages --with-x --with-x11 --with-term --with-nogui
+	./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