riscv-cheri
riscv-cheri copied to clipboard
riscv
Start on a programmer's model for capabilities
What we have here is a description of the rules governing CSETBOUNDS and CSETADDR which does not involve exponents (embedded, implied, or otherwise), mantissas, bitwise operations, Boolean lookup tables, arithmetic carry-out, or more than a passing mention of tops.
I anticipate reworking much of chapter 2 to clarify the various operations and reduce the conceptual complexity of explaining each part. I wanted to post this early since there's a high potential for merge conflicts, and to find out if this needs to be coordinated with anyone and how much to break it apart.
are you a RISC-V member? If so you need to state your affiliation so we know who you are as you are currently anonymous. If you are not a RISC-V member then you are not permitted to contribute directly to the specification.
Stefan is a long-standing member of the community whose name features in multiple specifications
Regardless of whether I contributed to the spec prior to RVI existing, I do have a current RVI membership e.g. https://lists.riscv.org/g/tech-unprivileged/message/629 .