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!