Tutorial: Using Rust in seL4 Userspace

seL4 has official support for Rust in userspace, funded by the seL4 Foundation:

The exports of this project covered in this tutorial are:

Rust bindings for the seL4 API
A runtime for root tasks
Rust bindings for the seL4 Microkit API
A runtime for seL4 Microkit protection domains
Custom rustc target specifications for seL4 userspace

Part I covers the Rust bindings for the seL4 API and the runtime for root tasks. Familiarity with the seL4 API isn't necessarily assumed or required, but this text doesn't introduce its elements in as much detail as the seL4 Manual.

Part II is much shorter, and covers the Rust language runtime for seL4 Microkit protection domains and implementation of the Microkit API. This part does assume that the reader is familiar with the basics of the Microkit framework and API, or is using a companion resource to learn about the Microkit in parallel.