generated from riscv/docs-spec-template
-
Notifications
You must be signed in to change notification settings - Fork 42
Open
Labels
Description
Encoding formats:
- Rename encoding formats: Draft of _L<params> for capability encodings #845
- Add CHERIoT Encoding formats: First draft of CHERIoT encoding chapters. #858
Extensions:
- Separate YBLD into its own extension: push YBLD into Zyb #853
- Vector integration marked as stable and integrated with main spec: enable vector for v1 ratification #860
- Added extension for accessor instruction for capability top (from CHERIoT): YTOPR #868
- Added extension for rounding-down version of YBNDSRW (from CHERIoT): Zybndsrd #870
CSRs:
- Remove xycfg pending a general RISC-V discovery mechanism: put ifdefs around Xycfg #852 (it was only introduced in 0.9.5 to solve discovery, so no change from 0.9.4)
- Add sstatus.UCRGE to enable Svucrg as otherwise the CRW=1, CD=0, UCRG=0 state is different depending on whether Svucrg is implemented or not, and can't be distinguished between. Add Svucrg enable bit. #867
Clarifications:
- Allow tag clearing by the platform in LY, as Svucrg or CHERIoT's load filter can clear loaded tags - or the tag strip PMA of course allow revocation tag clearing in LY defn #865
- Fix integrity check behaviour in YMODEW fix YMODEW to have full integrity checks #878
- clarify reset values Clarify reset values for CSRs, in line with priv spec #883