this post was submitted on 09 Dec 2020
1 points (100.0% liked)

Rust Programming

8438 readers
27 users here now

founded 5 years ago
MODERATORS
[email protected]
[email protected]
[email protected]
1
Robigalia: an ongoing project to robust Rust ecosystem around seL4 and to create a highly reliable persistent capability OS (robigalia.org)
submitted 4 years ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

Development and project specifications are on their gitlab page: https://gitlab.com/robigalia

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here