2 Repositories
Rust sel4 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
Rust seL4 toy system built on ferros for the imx6 sabrelite platform
Rust seL4 toy system built on ferros for the imx6 sabrelite platform ferros: A Rust-based userland which also adds compile-time assurances to seL4 dev
3 May 6, 2022