Hi Hesham, 2 questions:
do you run a modified seL4? is there any real world example of a Rust app running on top of you solution? Best, On Tuesday, July 29, 2025, Hesham Almatary via Devel <devel@sel4.systems> wrote: > 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 > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
