Source: Hacker News
Article note: SEL4 Microkernel with a Rust userland is an obvious current direction for building something where correctness and robustness are the top priorities.
Hopefully the resources that go into it produce something widely reusable.
Comments 