v0.9.0-prerelease
Pre-release
Pre-release
andresag01
released this
04 Oct 15:13
·
33 commits
to main
since this release
What's Changed
New features
- Hypervisor extension integration by @andresag01 in #236
- Introduce a Load Mutable permission by @arichardson in #212
- Introduce GCTYPE to obtain the capability type by @arichardson in #337
- Allow alternative capability encodings by @andresag01 in #357
- Control access to Zstid CSRs by @andresag01 in #358
- Integrating vector and CHERI for RISC-V by @andresag01 in #365
- PTE proposal with load-side barrier bits by @andresag01 in #234
- add auipc note by @tariqkurd-repo in #390
- Introduce capability levels by @arichardson in #355
Spec changes
- Make CRE not a WARL field by @Timmmm in #332
- Re-instate GCMODE instruction by @andresag01 in #350
- Allow XLEN writes to new CSRs in Zcherihybrid by @andresag01 in #354
- Permute permissions bitmap for acperm/gcperm by @andresag01 in #351
- controlling the cheri mode to enter when entering debug mode by @tariqkurd-repo in #370
- add extra information into exception reporting by @tariqkurd-repo in #373
- Swap roles of xtval and xtval2 by @andresag01 in #379
- Miscellaneous fixes for gctype and scss by @andresag01 in #383
- unify 32-bit encodings for load/store/amo to use RV64 versions by @tariqkurd-repo in #385
- optionally simplify lm_perm by @tariqkurd-repo in #387
- split MODESW into MODESW.CAP and MODESW.INT by @tariqkurd-repo in #406
Clarifications
- Clarified the "malformed capabilities" definition by @jasonyu1996 in #320
- Reword the ASR description to clarify Zstid register behaviour. by @buxtonpaul in #335
- Clarify legalisation of dpcc by @tomaird in #345
- Clarify sealed mepcc behaviour by @PRugg-Cap in #347
- Add extension maturity table by @tariqkurd-repo in #369
- Indicate GCMODE output for non-X caps by @andresag01 in #377
- pointer masking support by @tariqkurd-repo in #368
- Clarify rs2 values for scmode by @andresag01 in #382
- add note about choosing when to check the tag on a load by @tariqkurd-repo in #381
- Add a quick-start guide by @PeterRugg in #404
- attempt at listing some system rules with examples by @tariqkurd-repo in #401
- Chapter 3 note about the relationship between privileged and unprivileged components by @jasonyu1996 in #321
Simple typo or formatting fixes
- Fix typo. by @buxtonpaul in #330
- hybrid: fix a sentence that uses the old definition of M by @martin-kaiser in #336
- Miscellaneous wording and typo fixes by @andresag01 in #346
- Delete incorrect note in atomic store operation by @arichardson in #348
- Do not include CHERIv9 annotations by default by @andresag01 in #364
- Use "bounds" violation instead of "length" by @arichardson in #367
- Miscellaneous fixes by @andresag01 in #371
- Fix typo in debug integration spec by @andresag01 in #378
- Rename insn access fault to fetch fault by @andresag01 in #380
- remove false comments from RV32 permission encoding table by @tariqkurd-repo in #386
- Align authors and contributor lists by @andresag01 in #388
- Organize tables into appendix by @andresag01 in #394
- Changing c.mv mnemonic font to be red monospace by @ricki-code in #397
- Remove redundant c.addi4spn link by @tomaird in #399
- Make FP reg operand notation consistent by @andresag01 in #398
- Add table and notes about CRE by @andresag01 in #396
- Remove outdated 'leg' specifier by @tomaird in #405
New Contributors
- @jasonyu1996 made their first contribution in #320
- @tomaird made their first contribution in #345
- @ricki-code made their first contribution in #397
Full Changelog: v0.8.3-prerelease...v0.9.0-prerelease