Robigalia is a project with two goals:

  1. Build a robust Rust ecosystem around seL4

  2. Create a highly reliable persistent capability OS, continuing the heritage of EROS and Coyotos

We’re currently working away at goal 2, as a way to further goal 1.

To get started with Rust and seL4, first set up a build environment. From there, the sky’s the limit! We’re currently working on a tutorial and some examples while the OS is being created. In the meantime, maybe you’d like to contribute?

Want to know more about Rust, and why it’s useful in this context? Go here.

Want to know more about microkernels and seL4? We have that too.