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

seL4 2.1.0 Release Notes

New Features

ability to generate libsel4 system calls without inlining them
new kernel debugging feature added, which allows developers to call debug_printKernelEntryReason anywhere in the kernel which will output the entry reason and relevant arguments.

Implementation improvements

Some duplication between kernel and libsel4 removed.
Many changes refactoring the x86 code base in preparation for the upcoming x86_64 platform port.

API Additions

seL4_MappingFailedLookupLevel() - get the page table level a frame mapping failed at. This will always return 2 (second level page table) for currently supported 32 bit platforms.
seL4_NumInitialCaps constant added to bootinfo.h to track the first free slot in the initial task’s cspace.

Upgrade notes

Source compatible, some API additions.

Full changelog

Use git log 2.0.0..2.1.0

Other releases

See the full list of seL4 releases.