diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-04-21 10:46:17 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-04-21 10:49:07 +0200 |
| commit | c986dc56b743c7e2de4ca370ea8aba57b064178e (patch) | |
| tree | de6fcbbf1c091f722ce9a4e211f32cb4edb9e563 | |
| parent | 9186a2f543d7446666a8bd18ae6f94a83816a0e9 (diff) | |
doc/intro(9): mention the supported data models
| -rw-r--r-- | doc/intro.9.txt | 4 |
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. |