PolySync/cargo-fel4

A Cargo subcommand for working with feL4 projects.

10 best points · 1 comments · 1 Hacker News post · 51 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel (10 points, 1 comments, by im_down_w_otp, 2018-06-05)