GitHub repository: rel4team/rust-sel4
Primary language: Rust
Description: Rust support for seL4 userspace