Virexa
Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code [pdf] | Virexa