What's Changed
spec change
- add more exception types to distinguish CHERI page fault types by @tariqkurd-repo in #480
This puts CHERI PTE page fault information into Xtval2 so that a normal page fault and a CHERI PTE page fault can both trigger, and then software can decide which to take.
clarifications
- Add legal permissions invariant for tagged capabilities by @mayyamal in #450
- improvements to Zcheripte text by @tariqkurd-repo in #451
- EL permission modification of sealed capabilities @tariqkurd-repo in #460
- invalid address csr updates by @tariqkurd-repo in #456
- should data-trace record load data before or after ACPERM updates? by @tariqkurd-repo in #463
- Clarify mtval wording by @tomaird in #468
- Second attempt at fixing CRE by @tariqkurd-repo in #474
- Clarifications to PTE specification by @Timmmm in #469
spelling, formatting, minor text fixes
- fix descriptions by @tariqkurd-repo in #473
- Capitalised MODE everywhere in the csv by @francislaus in #475
- Made spelling of pseudoinstruction and pseudocode consistent by @francislaus in #479
- Converging British English spellings to American English spellings by @francislaus in #454
- fix line break by @tariqkurd-repo in #461
- Deleted incorrect statement about ASR needed for all M and S mode CSRs by @francislaus in #462
- Added missing description of changes to the hedeleg register by @francislaus in #466
version, bot and bot-generated PRs
- Update extension stability table by @arichardson in #471
- version 0.9.2 by @tariqkurd-repo in #481
- add dependabot to create PR to update the submodules to latest by @kbroch-rivosinc in #467
- Bump docs-resources from
51d3e82toa76dd1dby @dependabot in #477
New Contributors
- @kbroch-rivosinc made their first contribution in #467
- @dependabot made their first contribution in #477
Full Changelog: v0.9.1-prelease...v0.9.2-prerelease