riscv/riscv-cheri riscv-isa-release-213ba4b-2025-05-01

Release riscv-isa-release-213ba4b-2025-05-01

on GitHub

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

What's Changed

• clean up cap instruction page section, and some other improvements by @tariqkurd-repo in #586

Full Changelog: riscv-isa-release-0595889-2025-04-25...riscv-isa-release-213ba4b-2025-05-01