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:

Reporting security vulnerabilities

If you believe you have found a security vulnerability in code generated by camkes-tool, we ask you to follow the seL4 vulnerability disclosure policy.