betrusted-io/xous-core

The Xous microkernel

4 best points · 1 comments · 3 Hacker News posts · 1,001 GitHub stars · View on GitHub

Hacker News discussions

• Rust 1.72 seems to optimize away security checks (4 points, 1 comments, by wizzard0, 2023-09-18)
• Xous: Secure Microkernel in Rust (3 points, 0 comments, by adamnemecek, 2021-08-26)
• Xous: Secure Microkernel in Rust (2 points, 0 comments, by adamnemecek, 2021-08-28)