Demonstrates the use of the rust-seL4 crates with the seL4 Core Platform - View it on GitHub