seL4/rust-sel4

Rust support for seL4 userspace

7 best points · 0 comments · 2 Hacker News posts · 222 GitHub stars · View on GitHub

Hacker News discussions

• 1.0.0 release of Rust support for seL4 userspace (7 points, 0 comments, by Zamiel_Snawley, 2024-07-20)
• Rust-sel4: Rust support for seL4 userspace (3 points, 0 comments, by todsacerdoti, 2024-04-23)