[seL4] RELEASE: Announcing CAmkES 2.3.0

Announcing the release of CAmkES 2.3.0

Changes in this release:

* support for seL4 4.0.0 * new dependency: Haskell Stack (http://haskellstack.org) + Haskell Stack is a haskell version and package manager. It takes care of installing an appropriate version of ghc and cabal for building the capDL translator - part of CAmkES' build system.

Check out an example CAmkES system with:

repo init -u https://github.com/seL4/camkes-manifest.git -m default-2.3.x.xml

repo sync

For more information about CAmkES, see: https://wiki.sel4.systems/CAmkES

Cheers,

Stephen