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.
- Documentation homepage
- Status
- CAmkES Manual
- Trustworthy Systems CAmkES project
- camkes-tool
- camkes
- camkes-manifest
- global-components
- camkes-3.9.0
- camkes-3.8.0
- camkes-3.7.0
- camkes-3.6.0
- camkes-3.5.0
- camkes-3.4.0
- camkes-3.3.0
- camkes-3.2.0
- camkes-3.11.0
- camkes-3.10.0
- camkes-3.1.0
- camkes-3.0.0
- camkes-2.3.1
- camkes-2.3.0
- camkes-2.2.0
- camkes-2.1.0
- camkes-2.0.0