Writing an Embedded Operating System in Rust

Rust is a systems language, similar to C, that also provides memory and thread safety at compile time. It’s an extremely powerful language with great performance. It is slowly being introduced into open source projects, including the Linux kernel. This talk will discuss writing an embedded Operating System (OS) entirely in Rust. Tock is an operating system targeting both ARM Cortex-M and RISC-V embedded platforms. Tock is designed around running multiple concurrent and distrusted applications in a secure and isolated environment. This talk will focus on why Rust is such a powerful language for embedded. It will then discuss the design of Tock and how we can utilise both software and hardware to provide isolation and protection between applications and within the embedded OS itself. Finally Alistair will conclude with some pain points from Rust, lessons learnt and the status of useful embedded Rust improvements. PUBLICATION PERMISSIONS: Original video was published with the Creative Commons Attri