GitHub repository: seL4/rust-root-task-demo
Primary language: Dockerfile
Description: Demonstrates the use of the seL4 crates to construct a simple system