Safety-critical applications oriented Real-Time Operating System written in Rust - View it on GitHub