News
Monthly News Update: April 2026
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 …