The Trustworthy Systems Team at Data61 (formerly NICTA) is pleased to announce CAmkES
release 2.0.0
The new release updates CAmkES to be compatible with seL4 version 2.0.0. It also marks
the transition to more frequent and regular releases, as well as switching our release
process to semantic versioning, so it's easy to tell which CAmkES releases are
source-compatible, or will require updates to user-level code, and also with which seL4
versions they will be compatible.
You can find it at:
https://github.com/seL4/camkes-tool/tree/2.0.0
And a manifest for the 2.0.0 compatible versions of the CAmkES test and example apps:
https://github.com/seL4/camkes-manifest/blob/master/default-2.0.x.xml
Enjoy!
________________________________
The information in this e-mail may be confidential and subject to legal professional
privilege and/or copyright. National ICT Australia Limited accepts no liability for any
damage caused by this email or its attachments.