cantrip: generate interface instead of irq threads

Change-Id: I438634b532d47dccbb51b1d65e03d13dda3e5b33
1 file changed
tree: 2561f650c7d76207aeefc7762ef47e9042e6abc6
  1. .github/
  2. .reuse/
  3. camkes/
  4. cdl-refine-tests/
  5. components/
  6. docs/
  7. examples/
  8. include/
  9. libcamkescakeml/
  10. libsel4camkes/
  11. LICENSES/
  12. misc/
  13. tools/
  14. .gitignore
  15. .licenseignore
  16. .stylefilter
  17. alltests.py
  18. camkes-top-level.cmake
  19. camkes.cmake
  20. CHANGES
  21. CMakeLists.txt
  22. Findcamkes-tool.cmake
  23. LICENSE_BSD2.txt
  24. PREUPLOAD.cfg
  25. README.md
  26. VERSION
README.md

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.