← All repos

auxoncorp/ferros

View on GitHub ↗ ★ 121 Rust

A Rust-based userland which also adds compile-time assurances to seL4 development.

10 mentions on Hacker News by 1 person: 0 stories, 10 comments · first 2021-10-09 · latest 2025-03-23