seL4/camkes-tool: CAmKES 3.12.0
Authors/Creators
- Stephen Sherratt
- Kent McLeod
- JaphethLim
- Anna Lyons
- Adrian Danis
- Alison Felizzi
- Gerwin Klein1
- Axel Heider
- Shanush
- Siwei Zhuang2
- Ihor Kuz3
- Latent Prion
- Michael Sproul4
- seL4 CI account5
- Matthew Fernandez
- Jonathan Daugherty6
- Sylvain Gauthier
- Peter Chubb2
- Joonas Onatsu7
- Jingyao Zhou
- Homalozoa X8
- Curtis Millar5
- Chester Pang
- Ben Fiedler
- Hannu Lyytinen9
- June Andronick
- Partha Susarla
- Corey Lewis
- Felix Schladt10
- Matthew Brecknell11
- 1. Proofcraft
- 2. UNSW
- 3. Kry10
- 4. @sigp
- 5. @seL4
- 6. Galois, Inc.
- 7. @Unikie
- 8. AnimSilicon
- 9. Unikie
- 10. @Hensoldt-Sensors
- 11. @seL4 @Kry10-NZ
Description
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!
Files
seL4/camkes-tool-camkes-3.12.0.zip
Files
(1.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:38ed11f4cc8c9f90f2e29185429cb56a
|
1.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/seL4/camkes-tool/tree/camkes-3.12.0 (URL)
Software
- Repository URL
- https://github.com/seL4/camkes-tool