GitHub repository: seL4/seL4-rust-tutorial
Primary language: Rust
Description: Materials for a tutorial on how to use Rust to build on top of seL4.