Rust support for seL4 userspace
seL4/rust-sel4 has 199 GitHub stars.
It currently ranks #29100 daily, #29560 weekly, #31331 monthly by momentum on Trending Repos; its best-ever rank is #11048.