This repository contains the code generator and templating system that form the core of the CAmkES component platform.
For more information about CAmkES functionality, see the documentation.
See the wiki: https://wiki.sel4.systems/CAmkES#Build_dependencies