Google Git
Sign in
opensecura/3p/sel4/camkes-tool/3596345739c553a5bbca2ba1c032e92f5c2d0d8a
commit
3596345739c553a5bbca2ba1c032e92f5c2d0d8a
[log]
author
Sam Leffler <sleffler@google.com>
Fri Jun 16 09:26:24 2023 -0700
committer
Sam Leffler <sleffler@google.com>
Fri Jun 16 09:26:24 2023 -0700
tree
79ddb19f804da6935b241fde23c4b014cd1652bb
parent
f0e515991d963dc1ffb6367cf4c8586418894866 [diff]
cantrip: post-merge cleanups

- remove dead support for C projects (it's broken)
- remove debug msgs
- prefer enumerate to loop.index0

Change-Id: Id4ba8f256376d14c4e614e88c4a65eb919ff997d
4 files changed
tree: 79ddb19f804da6935b241fde23c4b014cd1652bb
  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.