1 Repositories
Rust ferros Libraries
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