Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / fc89a42f4094a3a70fca55988517ee67c8f16f4e
commitfc89a42f4094a3a70fca55988517ee67c8f16f4e[log] [tgz]
authorSam Leffler <sleffler@google.com>Mon Oct 02 16:58:11 2023 -0700
committerSam Leffler <sleffler@google.com>Tue Oct 03 09:52:43 2023 -0700
tree2561f650c7d76207aeefc7762ef47e9042e6abc6
parent3fdab40a7d403b35fb2e7b051bdbf8e28ac30098 [diff]
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.