From: Ben Pfaff Date: Sun, 26 Sep 2004 00:45:35 +0000 (+0000) Subject: --enable-4meg-pages not needed after all X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cfa00512c79e4d6b180ba070068dbe5db2309912;p=pintos-anon --enable-4meg-pages not needed after all --- 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