1 Repositories
Rust userland Libraries
A Rust-based userland which also adds compile-time assurances to seL4 development.
ferros Overview A Rust library to add extra assurances to seL4 development. ferros provides smart type-safe wrappers around seL4 features with an emph
68 Dec 25, 2022