From f7acbc3860d0c5d1caa32a1a9a742a7dcc1a5a37 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Thu, 13 Nov 2008 22:22:02 +0000 Subject: 2008-11-13 Thomas Schwinge [task #8135 -- PAE for GNU Mach] * i386/configfrag.ac (enable_pae): Add checks: this is ix86-only. * doc/mach.texi (Configuration): Document the new option. --- ChangeLog | 4 +++- doc/mach.texi | 10 +++++++++- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9e160b9e..aeba5592 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,8 @@ -2008-11-12 Thomas Schwinge +2008-11-13 Thomas Schwinge + [task #8135 -- PAE for GNU Mach] * i386/configfrag.ac (enable_pae): Add checks: this is ix86-only. + * doc/mach.texi (Configuration): Document the new option. 2008-11-11 Shakthi Kannan diff --git a/doc/mach.texi b/doc/mach.texi index 0e17128c..bb451e54 100644 --- a/doc/mach.texi +++ b/doc/mach.texi @@ -26,7 +26,8 @@ This file documents the GNU Mach microkernel. This is edition @value{EDITION}, last updated on @value{UPDATED}, of @cite{The GNU Mach Reference Manual}, for version @value{VERSION}. -Copyright @copyright{} 2001, 2002, 2006, 2007 Free Software Foundation, Inc. +Copyright @copyright{} 2001, 2002, 2006, 2007, 2008 Free Software +Foundation, Inc. @c @sp 2 @c Published by the Free Software Foundation @* @@ -523,6 +524,13 @@ the kernel. It is not enabled by default because it adds considerably to the unpageable memory footprint of the kernel. @xref{Kernel Debugger}. @end table +@table @code +@item --enable-pae +@acronym{PAE, Physical Address Extension} feature (@samp{ix86}-only), +which is available on modern @samp{ix86} processors; disabled by +default. +@end table + @subsection Turning device drivers on or off Each device driver has an associated configure switch. The following table -- cgit v1.2.3