Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / e13a05ed1c88c2c0399a7ded8e2d0f7ba1e9949f
commite13a05ed1c88c2c0399a7ded8e2d0f7ba1e9949f[log] [tgz]
authorKent McLeod <Kent.Mcleod@data61.csiro.au>Tue Aug 28 11:37:19 2018 +1000
committerKent McLeod <Kent.Mcleod@data61.csiro.au>Tue Aug 28 12:39:17 2018 +1000
tree21a86e22350aa854e47ad08880cb6ca770ae0fbd
parentd24b75f50e059f274b68addb36dc899f78672dca [diff]
CMake: Use new capDL-tool opt for MaxIRQs

This change should allow the capDL-tool to be an immutable dependency
after configuration and eventually swapped out for one installed on the
host.
2 files changed
tree: 21a86e22350aa854e47ad08880cb6ca770ae0fbd
  1. camkes/
  2. docs/
  3. examples/
  4. include/
  5. libcamkescakeml/
  6. libsel4camkes/
  7. misc/
  8. tools/
  9. .gitignore
  10. .licenseignore
  11. alltests.py
  12. camkes-top-level.cmake
  13. camkes.cmake
  14. camkes.sh
  15. CHANGES
  16. CMakeLists.txt
  17. LICENSE_BSD2.txt
  18. README.md
  19. 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