Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / 21becfa909595f0ba204b7fafef9e3629e8627c7
commit21becfa909595f0ba204b7fafef9e3629e8627c7[log] [tgz]
authorKent McLeod <Kent.Mcleod@data61.csiro.au>Wed Jul 17 09:27:53 2019 +1000
committerKent McLeod <Kent.Mcleod@data61.csiro.au>Tue Nov 26 09:40:40 2019 +1100
tree2dd1212df5239ab1e2d1ee63acfa2f94b917cbc8
parent9d10b3085bf7f119d1256bb8bb2ffd8fd1e3d7b1 [diff]
ast,runner: Remove template field from connector

This allows us to more easily extend the mechanisms for constructing
components and connectors.
12 files changed
tree: 2dd1212df5239ab1e2d1ee63acfa2f94b917cbc8
  1. camkes/
  2. cdl-refine-tests/
  3. components/
  4. docs/
  5. examples/
  6. include/
  7. libcamkescakeml/
  8. libsel4camkes/
  9. misc/
  10. tools/
  11. .gitignore
  12. .licenseignore
  13. .stylefilter
  14. alltests.py
  15. camkes-top-level.cmake
  16. camkes.cmake
  17. CHANGES
  18. CMakeLists.txt
  19. Findcamkes-tool.cmake
  20. LICENSE_BSD2.txt
  21. README.md
  22. 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