Robigalia: Rust on seL4
by donotreply@osnews.com () from on (#28831)
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.