Ah, you're right: https://github.com/riscv/riscv-profiles/blob/main/profiles.adoc#rva22-profiles https://github.com/riscv/riscv-profiles/blob/main/profiles.a...

Ah, you're right: https://github.com/riscv/riscv-profiles/blob/main/profiles.adoc#rva22-profiles https://github.com/riscv/riscv-profiles/blob/main/profiles.a... That's good to see. (Boy, it's really hard to find info about RISC-V profiles on Google. It just seems to ignore all the letters and numbers.)