Skip to content

Commit

Permalink
Moved Sspm to correct section - optional in RVA23S64 also.
Browse files Browse the repository at this point in the history
Closes #162.
  • Loading branch information
kasanovic committed Jul 14, 2024
1 parent ea1e19b commit 58d73e5
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/rvb23-profile.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -317,9 +317,6 @@ mandatory in RVA23S64:
- *Ssnpm* Pointer masking, with `senvcfg.PME` supporting at minimum,
settings PMLEN=0 and PMLEN=7.

- *Sspm* Supervisor-mode pointer masking, with the supervisor execution
environment providing a means to select PMLEN=0 and PMLEN=7 at minimum.

- *H* The hypervisor extension.

When the hypervisor extension is implemented, the following are also mandatory:
Expand Down Expand Up @@ -374,6 +371,9 @@ spaces or CSRs.
- *Svvptc* Transitions from invalid to valid PTEs will be visible in
bounded time without an explicit memory-management fence.

- *Sspm* Supervisor-mode pointer masking, with the supervisor execution
environment providing a means to select PMLEN=0 and PMLEN=7 at minimum.

==== RVB23S64 Recommendations

- Implementations are strongly recommended to raise illegal-instruction
Expand Down

0 comments on commit 58d73e5

Please sign in to comment.