OPERATING SYSTEMSOS Linux

Writing an Embedded Operating System in Rust – Alistair Francis, Western Digital

Writing an Embedded Operating System in Rust – Alistair Francis, Western Digital

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.

source

by The Linux Foundation

linux foundation