GitHub repository: rel4team/rust-root-task-demo
Primary language: Rust
Description: rust demo on seL4 kernel