Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
Zenodo
Claim

seL4/camkes-tool: CAmkES 3.13.0

integration_instructionsResearch softwarekeyboard_double_arrow_right Software Under curationPublisher:Zenodo
Authors: Stephen Sherratt; Kent McLeod; JaphethLim; Anna Lyons; Adrian Danis; Alison Felizzi; Gerwin Klein; +23 Authors

doi: 10.5281/zenodo.21492444

seL4/camkes-tool: CAmkES 3.13.0

Abstract

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!

Powered by OpenAIRE graph
Found an issue? Give us feedback