seL4/rust-sel4

**Summary:** seL4/rust-sel4 is an open-source project that provides Rust support for seL4 userspace, enabling developers to build secure and efficient applicati