Releases Contribute Contact Support Main Site seL4 on GitHub

seL4 releases

This page documents tagged releases of the seL4 kernel and proofs.

Landmark releases

This section documents the version at which specific features were introduced to seL4. For future features, see the roadmap on the main seL4 website. For other previous features, see the release notes below.

For the verification status of all platforms, see Verified Configurations.

Feature Hardware Available From
AARCH64 RPI3 RPI3 10.1.0
TX2 support (Aarch64 only) TX2 10.1.0
Support for more than 1 VM ARM 10.1.0
32-bit RISC-V architecture support RISC-V (Spike simulation target) 10.0.0
64-bit RISC-V architecture support RISC-V (Spike simulation target) 9.0.1
Meltdown mitigation x86 9.0.0
Spectre mitigation x86 9.0.0
Zynq UltraScale+ MPSoC Xilinx ZCU102, ARMv8a, Cortex A53 8.0.0
Multiboot2 support x86 8.0.0
CMake based build system all 7.0.0
ARM 32-bit SMP Sabre 6.0.0
ARMv7 32-bit FPU support ARM 6.0.0
ARM 64-bit support Aarch64 5.0.0
64-bit x86 support x86_64 4.0.0
Raspberry Pi 3 support RPI3 4.0.0
ARM Hypervisor initial support ARM 3.2.0
First ARMv8 support HiKey 3.1.0
NVIDIA Tegra K1 support TK1 3.0.1
Notification binding all 2.0.0

Main releases

Older Mixed Criticality Support (MCS) / Realtime releases

As of seL4 version 11.0.0, the MCS features are included in the main kernel release, via the build option KernelIsMCS. Set KernelIsMCS to ON to switch the scheduler implementation to MCS and enable the MCS API.