CHERI is a hardware approach to memory safety that improves system security at runtime by extending established ISAs, such as ARM, RISC-V, and x86, with new architectural features. This cross-architecture project adapts the Linux Kernel and userspace software to benefit from CHERI’s memory protection and software compartmentalization features.
CVA6 support, a test suite for POSIX-based OSes and work on glibc
by Paul Metzger
Hesham Almatary’s work at Capabilities Ltd has reached a significant milestone in the platform bring-up of CHERI-CVA6. As a reminder, CHERI-CVA6 is a 64-bit CHERI-RISC-V CPU that’s being …
Linux on CHERI with Debian user space, CVA6 support, CHERI-Enabled Linux v7.1
by Paul Metzger and Hesham Almatary
As usual, Codasip kept pace with recent Linux kernel releases and published v7.1 of Linux on CHERI. The company also contributed its RVY adaptation of the Linux Test Project (LTP) to the CHERI …