Writing an Embedded Operating System in Rust

Explore the development of an embedded operating system using Rust in this 34-minute conference talk. Discover why Rust is a powerful language for embedded systems, offering memory and thread safety at compile time. Learn about Tock, an operating system for ARM Cortex-M and RISC-V platforms, designed to run multiple concurrent and trusted applications in a secure, isolated environment. Examine the design of Tock and how it leverages both software and hardware for isolation and protection. Gain insights into the challenges of using Rust for embedded development, valuable lessons learned, and the current status of embedded Rust improvements.