Add --enable-4meg-pages to configure

[pintos-anon] / src / misc / bochs-2.1.1.patch

diff --git a/src/misc/bochs-2.1.1.patch b/src/misc/bochs-2.1.1.patch
index beb23b98c9fede7bb81e7e0f21803c7fcd111030..0c233169c5feb6769b89d517ac6d7129ce0171f6 100644 (file)
--- 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 --with-x --with-x11 --with-term --with-nogui
+       ./configure --enable-4meg-pages --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