diff --git a/rva23-profile.adoc b/rva23-profile.adoc index 56e6ed9..1c41cff 100644 --- a/rva23-profile.adoc +++ b/rva23-profile.adoc @@ -237,7 +237,7 @@ future. The following privileged extensions are mandatory: -- *Ss1p13* Privileged Architecture version 1.13. +- *Ss1p13* Supervisor Architecture version 1.13. NOTE: Ss1p13 supersedes Ss1p12 but is not yet ratified. diff --git a/rvb23-profile.adoc b/rvb23-profile.adoc index 7e44686..af8d831 100644 --- a/rvb23-profile.adoc +++ b/rvb23-profile.adoc @@ -214,7 +214,7 @@ future. The following privileged extensions are mandatory, and are also mandatory in RVA23S64. -- *Ss1p13* Privileged Architecture version 1.13. +- *Ss1p13* Supervisor Architecture version 1.13. NOTE: Ss1p13 supersedes Ss1p12 but is not yet ratified.