From: Ben Pfaff Date: Sat, 25 Sep 2004 23:55:22 +0000 (+0000) Subject: Add --enable-4meg-pages to configure X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0772849defdaa98a087c28f4477a9edafe50d6d1;p=pintos-anon Add --enable-4meg-pages to configure --- diff --git a/src/misc/bochs-2.1.1.patch b/src/misc/bochs-2.1.1.patch index beb23b9..0c23316 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 --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