Build a robust Rust ecosystem around seL4 Create a highly reliable persistent capability OS, continuing the heritage of EROS and Coyotos 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?