summaryrefslogtreecommitdiff
path: root/doc/intro.9.txt
diff options
context:
space:
mode:
Diffstat (limited to 'doc/intro.9.txt')
-rw-r--r--doc/intro.9.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/intro.9.txt b/doc/intro.9.txt
index d4532cb..281db50 100644
--- a/doc/intro.9.txt
+++ b/doc/intro.9.txt
@@ -261,8 +261,8 @@ module:arch/tcb::
module:arch/trap::
Interrupt and exception handling.
-The machine-independent code assumes a completely relaxed memory model as
-allowed by the C11 specification.
+The machine-independent code assumes either an ILP32 or LP64 data model, and
+a completely relaxed memory model as allowed by the C11 specification.
X15 currently requires a memory management unit, but that may change in
the future.