GitHub repository: GaloisInc/rust-seL4-sel4cp-demo
Description: Demonstrates the use of the rust-seL4 crates with the seL4 Core Platform