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

capDL Version 0.4.0 Release

Announcing the release of 0.4.0 with the following changes:

0.4.0 2025-11-25

Using seL4 version 14.0.0

Changes

Add support for fpu_disabled flag on TCBs for platforms with CONFIG_HAVE_FPU.
Add support for SGISignal capability. SGISignal capabilities in capDL point to an arm_sgi_signal object with (irg: <num>, target: <num>) properties that define the destination of the SGI.
Remove pyaml python dependency and use pyyaml (import yaml) directly.

Upgrade Notes

existing capDL specs should continue to work without change

Full changelog

Use git log 0.3.0..0.4.0 in https://github.com/seL4/capdl

More details

See the documentation or ask on the mailing list!

Other releases

See the full list of capDL releases.