CAmkES Version camkes-3.12.0 Release Announcing the release of camkes-3.12.0, using seL4 version 15.0.0, with the following changes. This is a breaking release for kernel configurations with domain scheduler. Other configurations are unaffected. Changes Add an optional schedule declaration to assemblies. Only one overall schedule declaration is allowed. This uses the new dynamic domain schedule API in seL4 and capDL to declare the provided schedule in the capDL specification and loader. Schedules no longer need to be provided separately or compiled in by the user. 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 assembly declaration. Schedules can be transcribed one to one without change. 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. See the domains app in the camkes repository for an example schedule declaration, and commit 3de1c46 in that repository for an upgrade example. Full changelog Use git log camkes-3.11.1..camkes-3.12.0 in https://github.com/seL4/camkes-tool More details See the documentation or ask on the mailing list!