From f1ace6df9a5a95ca393e6955cc941c6eb203914b Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Sat, 25 Sep 2004 23:55:22 +0000 Subject: [PATCH] Add --enable-4meg-pages to configure --- src/misc/bochs-2.1.1.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2