News

---

Linux on CHERI with Debian user space, CVA6 support, CHERI-Enabled Linux v7.1
6 Jul 2026
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 …

---

CHERI-Enabled Linux 7.0 Released, Platform Support and Toolchain Improvements
5 Jun 2026
by Paul Metzger

As in the previous month, working group members have been busy with a range of Linux kernel and user space-related endeavours. Notably, Codasip has released a CHERI-enabled Linux v7.0 kernel, making a …

---

Kernel, User Space, and Portability Updates
7 May 2026
by Paul Metzger

This is the first in a series of monthly news updates that we will be publishing going forward.

Work on porting the Linux Kernel to CHERI is progressing in several areas. Codasip continues to track …