YouTube randomly suggested a video from ccc, about a microkernel-based operating system called Xous. The itch they wanted to scratch is basically that ARM doesn't want process isolation in their "smaller" chips (they don't have MMUs), but these chips are being used in IoT devices, where they should care about security. So the Xous people invented their own custom hardware to run their Rust-based operating system.

They make a pretty neat argument for how Rust's access modes (owned, immutable shared and mutable exclusive) are hardware enforced.

39C3 - Xous: A Pure-Rust Rethink of the Embedded Operating System

(No affiliation, just found it super interesting and thought I would share)

1 post - 1 participant

Read full topic