CAmkES
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.
Dependencies
See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies
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.