Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / refs/heads/master
commitd0316ef9b731ab500518984239f6e7710527a645[log] [tgz]
authorSam Leffler <sleffler@google.com>Thu Nov 02 10:32:34 2023 -0700
committerSam Leffler <sleffler@google.com>Thu Nov 02 15:48:16 2023 -0700
treeddd85006c1888d3d4572b29cd2e90609f1bafd1d
parentfc89a42f4094a3a70fca55988517ee67c8f16f4e [diff]
cantrip: add cantripRPCSignalOverMultiSharedData

A variant of cantripRPCOverMultiSharedData that supports signalling.

Change-Id: Idb2b3f053a735cf51e52fb61c03e8d9fdb999619
4 files changed
tree: ddd85006c1888d3d4572b29cd2e90609f1bafd1d
  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.