Xous: Why another kernel?
Betrusted Goals
- <=4 MB RAM
- Process Isolation
- Safe language
- Microkernel
Rust: Safety, Speed, Concurrency
A Survey of Rust-based Operating Systems
Rust-based Operating Systems: Tock
Rust-based Operating Systems: Redox
Other Alternatives and Inspirations