GitHub repository: nspin/rust-seL4-sel4cp-demo
Primary language: Rust
Description: Demonstrates the use of the rust-seL4 crates with the seL4 Core Platform