Published July 22, 2026
| Version camkes-3.13.0
Software
Open
seL4/camkes-tool: CAmkES 3.13.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
- seL4 CI account4
- Michael Sproul5
- Matthew Fernandez
- Alex Pavey
- Jonathan Daugherty6
- Sylvain Gauthier
- Peter Chubb2
- Joonas Onatsu7
- Jingyao Zhou
- Homalozoa X8
- Curtis Millar4
- Chester Pang
- Ben Fiedler
- Hannu Lyytinen9
- Julia
- June Andronick
- Partha Susarla
- Corey Lewis
- 1. Proofcraft
- 2. UNSW
- 3. Kry10
- 4. @seL4
- 5. @sigp
- 6. Galois, Inc.
- 7. @Unikie
- 8. AnimSi & Roban & CyberZoo
- 9. Unikie
Description
CAmkES Version camkes-3.13.0 Release
Announcing the release of camkes-3.13.0, using seL4 version 16.0.0, with the following changes.
This release should be backwards-compatible with camkes-3.12.0.
Changes
- Add support for GCC 14 and python >= 3.10
- Add support for concurrent unit tests
- Add support for units in the domain schedule (ticks or microseconds)
Upgrade Notes
- No special upgrade requirements.
Full changelog
Use git log camkes-3.12.0..camkes-3.13.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.13.0.zip
Files
(1.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:7dfdc76484a6cfaca2f9a4e3f8635d7c
|
1.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/seL4/camkes-tool/tree/camkes-3.13.0 (URL)
Software
- Repository URL
- https://github.com/seL4/camkes-tool