CAmkES Version camkes-3.7.0 Release

Announcing the release of camkes-3.7.0 with the following changes:

camkes-3.7.0 2018-11-12 Using seL4 version 10.1.1

Changes

Upgrade Notes

Full changelog

Use git log camkes-3.6.0..camkes-3.7.0 in https://github.com/seL4/camkes-tool

More details

See the documentation or ask on the mailing list!