Robigalia is a project with two goals:
- Build a robust Rust ecosystem around seL4
- 2. Create a highly reliable persistent capability OS, continuing the heritage of EROS and Coyotos
The year-in-review blogpost has a nice overview of where the project stands.
Congratulating People at Robigalia and their Community. Best wishes.