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 …