From: lkcl <lkcl@web>
Date: Sun, 31 Jan 2021 15:07:13 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~238
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=92adecdaf46ea7dd39f49f4f706d06721bb318bf;p=libreriscv.git

---

diff --git a/openpower/sv/implementation.mdwn b/openpower/sv/implementation.mdwn
index b34722c66..7860c9089 100644
--- a/openpower/sv/implementation.mdwn
+++ b/openpower/sv/implementation.mdwn
@@ -85,6 +85,12 @@ Links:
 
 This is a peer of MSR but is stored in an SPR.  It should be considered part of the state of PC+MSR because SVSTATE is effectively a Sub-PC.
 
+Chosen values, fitting with v3.1B p12 "Sandbox" guidelines:
+
+    num name    priv  width
+    704,SVSTATE,no,no,32
+    720,SVSRR0,yes,yes,32
+
 * ISACaller: TODO
 * power-gem5: TODO
 * TestIssuer: TODO