zackpierce / ferros Goto Github PK
View Code? Open in Web Editor NEWThis project forked from auxoncorp/ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
Home Page: https://ferros.auxon.io/
License: Apache License 2.0