Betrusted: Being Secure

That's no Blackberry, it's a chat client!

bunnie - https://bunniestudios.com/ - @bunnievorpal

Tom Marble - https://tmarble.info9.net/

Sean Cross - https://xobs.io/ - @xobs

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

Xous: System Design

Xous: Memory Model

Xous: Missing Features