CAmkES Version camkes-3.4.0 Release

Announcing the release of `` with the following changes:

camkes-3.4.0 2018-04-18

Using seL4 version 9.0.1

Changes

Upgrade Notes

---

Full changelog

Use git log camkes-3.3.0..camkes-3.4.0 in https://github.com/seL4/camkes-tool

More details

See the documentation or ask on the mailing list!