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.11.1 Release

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

camkes-3.11.1 2025-11-25

Using seL4 version 14.0.0

Changes

Add support for gcc-14, fixing new warnings in generated code.
Add support for more recent version of musllibc.
Minor documentation improvements.

Upgrade Notes

No special upgrade requirements.

Full changelog

Use git log camkes-3.11.0..camkes-3.11.1 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.