aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2021-11-08 18:38:14 -0800
committerAndrew Waterman <andrew@sifive.com>2022-10-03 17:57:11 -0700
commit869dcc608e11f9680e950bcb20a9b8294d2b82bd (patch)
tree6873ad002f951f60ba7623a8a1841dd231e32ed4 /src/machine.tex
parentd74d99e22d5f68832f70982d867614e2149a3bd7 (diff)
downloadriscv-isa-manual-869dcc608e11f9680e950bcb20a9b8294d2b82bd.zip
riscv-isa-manual-869dcc608e11f9680e950bcb20a9b8294d2b82bd.tar.gz
riscv-isa-manual-869dcc608e11f9680e950bcb20a9b8294d2b82bd.tar.bz2
Add draft of RNMI spec
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 24da457..dc50cba 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2884,6 +2884,8 @@ Writable PMP registers' A and L fields are set to 0, unless the platform
mandates a different reset value for some PMP registers' A and L fields.
If the hypervisor extension is implemented, the {\tt hgatp}.MODE and
{\tt vsatp}.MODE fields are reset to 0.
+If the Smrnmi extension is implemented, the {\tt mnstatus}.NMIE field
+is reset to 0.
No \warl\ field contains an illegal value.
All other hart state is \unspecified.