capDL Version 0.5.0 Release

Announcing the release of 0.5.0, using seL4 version 15.0.0.

This is a breaking release for kernel configuration that use the domain scheduler. Other configurations are unaffected.

Changes

• Add support for domain schedules in capDL-tool, capdl-loader-app, and python-capdl-tool. Domain schedules can optionally be provided in a separate section of capDL specifications. By default, the provided schedule will be started after the initialiser finishes. Provide no_start to suppress domain schedule start.

  If the kernel is not configured for domain scheduling, any provided schedule will be ignored.

Upgrade Notes

No changes are necessary for kernel configurations that do not use the domain scheduler. For kernel configurations with domain scheduler support, instead of providing the schedule in a separate .c file, the domain schedule should be provided in the capDL specification instead. Schedules can be transcribed one to one without change, leaving domain_set_start and shift_index at defaults. The difference in intended behaviour is that the schedule will only start running after the initialiser is finished. Schedules may previously have included timing for initialisation --- consider if the schedule should be adjusted accordingly.

Full changelog

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

More details

See the documentation or ask on the mailing list!

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!

See release notes: https://docs.sel4.systems/releases/capdl/0.2.1
See release announcement: https://sel4.discourse.group/t/15-june-2021-release/373

See release notes: https://docs.sel4.systems/releases/capdl/0.2.0
See release announcement: https://sel4.discourse.group/t/09-november-2020/238

See release notes: https://docs.sel4.systems/releases/capdl/0.1.0
See release announcement: https://sel4.discourse.group/t/19-november-2019/126