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.1.0

Adds single-core support for HiKey cortex-a53 board, in 32 bit mode (non-verified). This is the first armv8 platform seL4 supports.
haskell kernel moved to verification repos (used to be in seL4 repo, available here now: https://github.com/seL4/l4v/tree/master/spec/haskell

Implementation improvements

kernel now has debug feature which outputs part of the user stack on a double fault

API Changes

API Additions

X86PageDirectoryGetStatusBits allows users to get the status bits of a virtual address mapping. This is not supported on PAE.

Upgrade notes

This release is source compatible.

Full changelog

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

More details

See the 3.1.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.