riscv/riscv-cheri riscv-isa-release-9f7cf41-2026-05-12

Release riscv-isa-release-9f7cf41-2026-05-12

on GitHub

This release was created by: arichardson
Release of RISC-V ISA, built from commit 9f7cf41, is now available.

What's Changed

• A few minor clarifications by @arichardson in #1022

Full Changelog: riscv-isa-release-1682572-2026-05-11...riscv-isa-release-9f7cf41-2026-05-12