Repository navigation
capDL Version 0.6.1 Release
Announcing the release of 0.6.1 with the following changes:
0.6.1 2026-10-30
Using seL4 version 17.0.0
Changes
- Reduced Python dependencies
Upgrade Notes
This is a binary compatible version on the capDL side, existing capDL specs
should continue to work without change.
Full changelog
Use git log 0.6.0..0.6.1 in https://github.com/seL4/capdl
More details
See the documentation or ask on the mailing list!