Robigalia: Rust on seL4

Robigalia is a project with two goals:Build a robust Rust ecosystem around seL42. Create a highly reliable persistent capability OS, continuing the heritage of EROS and CoyotosThe year-in-review blogpost has a nice overview of where the project stands.