CAmkES Version camkes-3.5.0 Release
Announcing the release of
camkes-3.5.0 with the following changes:
camkes-3.5.0 2018-05-28 Using seL4 version 10.0.0
This release is the last release with official support for Kbuild based projects. This release and future releases use CMake as the build system for building applications.
max_critfields from TCB CapDL Object These fields were previously added to support an earlier version of seL4-mcs that gave threads criticality fields. This feature was removed from seL4-mcs. This also means that the arguments to camkes-tool,
--default-max-criticality, have also been removed.
- Calls to
camkes.shthat used the above arugments will need to be updated.
git log camkes-3.4.0..camkes-3.5.0 in
See the documentation or ask on the mailing list!