summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-13 22:22:02 +0000
committerThomas Schwinge <tschwinge@gnu.org>2009-06-18 00:27:20 +0200
commitf7acbc3860d0c5d1caa32a1a9a742a7dcc1a5a37 (patch)
treebed4ab424c5bb622d84f219340e24274bd1f45f7
parent269108107f0c7b439fd114f981acbbb208c88ccb (diff)
2008-11-13 Thomas Schwinge <tschwinge@gnu.org>
[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.
-rw-r--r--ChangeLog4
-rw-r--r--doc/mach.texi10
2 files changed, 12 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index 9e160b9..aeba559 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,8 @@
-2008-11-12 Thomas Schwinge <tschwinge@gnu.org>
+2008-11-13 Thomas Schwinge <tschwinge@gnu.org>
+ [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 <shakshurd@gmail.com>
diff --git a/doc/mach.texi b/doc/mach.texi
index 0e17128..bb451e5 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