Rust

Support for the Rust programming language in seL4 userspace can be found in the seL4/rust-sel4 repository on GitHub.