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

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

camkes-3.13.1 2026-10-30

Using seL4 version 17.0.0

Changes

CAmkES Tool

No changes in the CAmkES tool itself

CAmkES VMM

Fix a potential stack overflow in virtio_block_emul
Add BCM2711 platform support
Update for the additional register access traps in the new seL4 version: ignore reads and writes to co-processor registers from Linux.
Remove platform support for Arndale exynos5250 (see RFC-19)
Remove platform support for Odroid-X exynos4 (see RFC-19)

Upgrade Notes

No special upgrade requirements.

Full changelog

Use git log camkes-3.13.0..camkes-3.13.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.