summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/mach.texi4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/mach.texi b/doc/mach.texi
index bb451e54..858880ad 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -527,8 +527,8 @@ unpageable memory footprint of the kernel. @xref{Kernel Debugger}.
@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.
+which is available on modern @samp{ix86} processors; on @samp{ix86-at} disabled
+by default, on @samp{ix86-xen} enabled by default.
@end table
@subsection Turning device drivers on or off