Hello,
The CHERI Alliance has released a prototype of CHERI-seL4, an
experimental version of the seL4 microkernel with CHERI support. This
release includes CHERI-Microkit, a lightweight userspace framework,
and a set of exercises and tutorials designed to help developers
explore CHERI’s potential in a real microkernel environment.
The release is aimed at developers who want to build and experiment
with memory-safe C/C++ software on seL4. It supports the draft
CHERI-RISC-V architecture and runs on QEMU, Codasip’s X730 processor,
CHERI-Toooba, and CHERI-CVA6 on FPGA.
For those who are unfamiliar with CHERI, CHERI support in seL4 enables
memory-safe C/C++ user-level projects and applications without having
to (re)write code in languages like Rust. This complement's seL4's
strong isolation between different components, enforced by the MMU and
seL4's software capabilities.
We welcome any feedback.
Learn more: https://cheri-alliance.org/cheri-sel4-and-cheri-microkit-released/
Regards,
Hesham
