GitHub repository: seL4/rust-microkit-http-server-demo
Primary language: Rust
Description: Demonstrates the use of the seL4 crates with the seL4 Microkit