ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
106 stars
8 watching
11 forks
Language: Rust
last commit: about 1 year ago
Linked from 1 awesome list
rustsel4userland
ferros A Rust-based userland which also adds compile-time assurances to seL4 development.
rust-embedded/awesome-embedded-rust