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

Introducing seL4 3.2.0

ARM Hypervisor support.
ARM Jetson-TK1: Cleanup.
Benchmarking now supports tracking of syscalls.
Support for XSAVE feature set for x86 CPUs.
Simplified ARM platform selection during configuration.

Implementation improvements

Several enhancements for both x86 and ARM have been made. Please see the commit log for details.

API Changes

No API changes in this release.

ABI Changes

seL4_BootInfo has a new entry for IOSpace caps for ARM SMMU.

Upgrade notes

This release is source compatible.

Full changelog

Use git log 3.1.0..3.2.0 in https://github.com/seL4/seL4

More details

See the 3.2.0 manual included in the release for detailed descriptions of the new features. Or ask on the mailing list!

Other releases

See the full list of seL4 releases.