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://docs.sel4.systems/CAmkES/#build-dependencies