capDL 0.3.0

capDL 0.3.0 Release

2024-07-01

Announcing the release of 0.3.0, using seL4 version 13.0.0.

Changes

• add support for SMC capability
• add support for binding notifications to TCBs
• enable MCS build; use seL4_TCB_SetAffinity only for non-MCS kernels
• allow SchedControlCap to refer to a secondary core
• minimal update for seL4 AArch64 VSpace API change, removing seL4_ARM_PageGlobalDirectoryObject
• object_sizes: add include for deprecated constants, because some definitions
  that object_sizes depends on are now found in a deprecated.h header file.
• Clean up and clarify arm11 usage in capDL despite ARMv6 removal
• cdl_utils: remove simpleeval python dependency
• Run GitHub tests with python 3.9
• added vulnerability reporting policy

capdl-loader

• use seL4_BootInfoFrameSize instead of hard-coded page size
• python + loader: Add support for generating fault handler caps with specific
  rights. Behaviour is unchanged (seL4_AllRights) if no rights are provided.
• ensure heap is aligned

capDL-tool

• update to LTS Haskell 20.25, ghc-9.2.8
• fix several cases in validObjPars: Period, IOAPIC, MSIHandle, CBNumber

Upgrade Notes

• existing capDL specs should continue to work
• AArch64 VSpace changes may allow simplification of some capDL specs

Full changelog

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

More details

See the documentation or ask on the mailing list!