Getting Started
The seL4 Kernel
- Overview
- Setting up
- Tutorial
  - Setting up
  - Getting the tutorials
  - Hello world
  - Capabilities
  - Untyped
  - Mapping
  - Threads
  - IPC
  - Notifications
  - Interrupts
  - Fault handling
  - MCS
  - End
- How-to
- API docs
- Manual
- Supported platforms
- Verified configurations
- Configurations
- Standalone seL4 builds
- Bitfield generator
- Testing & benchmarking
- Contributing
- Porting to a new platform
- Releases
- Sources
Microkit
- Overview
- Setting up your machine
- Tutorial
- Manual
- Roadmap
- Supported platforms
- Releases
- Sources
CAmkES
- Overview
- Setting up your machine
- Tutorials
- How-to
- Manual
- Supported platforms
- Virtualisation
- Releases
- Sources
C support
- C runtime
- User-level libraries
- Build System
- Tutorials
- How-to
Rust support
- Overview
- How to use
- Tutorial
- API
- Supported configurations
- Releases
- Sources
ELF loader
- ELF loader for C
capDL
Examples & demos
- Overview

Releases Contribute Contact Support Main Site

Rust

seL4 officially supports the use of Rust in userspace. This support entails:

Rust bindings for the seL4 API (source)
A runtime for root tasks (source)
A runtime for seL4 Microkit protection domains (source)
Custom rustc target specifications for seL4 userspace (JSON and docs)
Many more crates for use in seL4 userspace (Sources)

Tutorial

Learn how to use Rust in seL4 userspace.

API

Rustdoc for the crates mantained by the seL4 Foundation.

How to use

How to use the seL4 rust crates.

Sources

Repository for development and collaboration on Rust support in seL4 userspace.

The development and maintenance of Rust support for seL4 userspace is funded and managed by the seL4 Foundation. All of this work happens in one GitHub repository: seL4/rust-sel4.