CAmkES 2.3.0 Release Notes

New Features

  • support for seL4 4.0.0
  • new dependency: Haskell Stack
    • 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.