Learn Backend Development Part-Time, Online
Google AI Professional Certificate - Learn AI Skills That Get You Hired
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the revolutionary Xous microkernel, a message-passing operating system implemented entirely in pure Rust for secure embedded applications. Learn about three groundbreaking aspects of this OS: hardware MMU support implementation and the necessity of creating custom silicon to achieve this feature, the complete implementation of Rust's standard library in pure Rust rather than relying on C standard library calls, and the innovative combination of Rust semantics with virtual memory to create safe yet efficient asynchronous messaging primitives. Discover how ARM has historically limited MMU features to expensive application CPUs and how RISC-V's open nature enables breaking this cycle by incorporating MMU-based memory protection into affordable embedded hardware. Examine the Baochip-1x, a new 22nm TSMC SoC featuring a 400MHz Vexriscv CPU, 2MiB SRAM, 4MiB nonvolatile RRAM, and quad-core RV32E I/O accelerator designed specifically for running Xous. Understand the security advantages of implementing memory allocation, networking, and threading entirely in Rust without C dependencies, and see how this approach simplifies cross-compilation and development. Analyze the inter-process communication model that maps Rust's borrow checker semantics to safe message passing between processes, enabling easy task separation while maintaining a minimal kernel footprint. Witness practical demonstrations of scheduling, synchronization primitives implemented in user space, and conclude with a live demo of Xous running on physical Baochip-1x silicon, transitioning from emulation to real-world hardware implementation.
Syllabus
39C3 - Xous: A Pure-Rust Rethink of the Embedded Operating System
Taught by
media.ccc.de