Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / 0bbd796c511bd9c96600dcee67c5449c7bf9b77d
commit0bbd796c511bd9c96600dcee67c5449c7bf9b77d[log] [tgz]
authorKent McLeod <Kent.Mcleod@data61.csiro.au>Wed Jan 16 11:36:22 2019 +1100
committerKent McLeod <Kent.Mcleod@data61.csiro.au>Wed Jan 16 11:36:22 2019 +1100
treeea32a55c41d348708da3606b3a4b046f9a0c89ff
parente2ab350348552b31203e73eef6de8d3e8ce43bfc [diff]
Remove --fsupport-init flag support

This flag was mostly redundant as it is used by default and there are
no longer any motivating uses for not providing init support.
6 files changed
tree: ea32a55c41d348708da3606b3a4b046f9a0c89ff
  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. alltests.py
  14. camkes-top-level.cmake
  15. camkes.cmake
  16. camkes.sh
  17. CHANGES
  18. CMakeLists.txt
  19. LICENSE_BSD2.txt
  20. README.md
  21. 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