Hello Hugo, On Tue, 29 Jul 2025 at 18:26, Hugo V.C. <[email protected]> wrote:
> Hi Hesham, > > 2 questions: > > do you run a modified seL4? > Yes definitely, as mentioned in the blog post. The link to the fork [1] is in the blog post and we’ve submitted a PR [2] upstream for it (also in the blog post). [1] https://github.com/CHERI-Alliance/CHERI-seL4 [2] https://github.com/seL4/seL4/pull/1469 > is there any real world example of a Rust app running on top of you > solution? > I’ve built and run Microkit’s Rust hello example on top without any issues. You can also reproduce that if you’d like. Happy to give further instructions if needed. Regards, Hesham > Best, > > On Tuesday, July 29, 2025, Hesham Almatary via Devel <[email protected]> > 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 -- [email protected] > > To unsubscribe send an email to [email protected] > > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
