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

CAmkES Version camkes-3.13.0 Release

Announcing the release of camkes-3.13.0 with the following changes:

camkes-3.13.0 2026-07-22

Using seL4 version 16.0.0

Changes

Add support for GCC 14 and python >= 3.10
Add support for concurrent unit tests
Add support for units in the domain schedule (ticks or microseconds)

Upgrade Notes

No special upgrade requirements.

Full changelog

Use git log camkes-3.12.0..camkes-3.13.0 in https://github.com/seL4/camkes-tool

More details

See the documentation or ask on the mailing list!

Other releases

See the full list of CAmkES releases.