Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / ec4541fd6dc5b13dd0da0d40e9afe27b83643625
commitec4541fd6dc5b13dd0da0d40e9afe27b83643625[log] [tgz]
authorDamon Lee <Damon.Lee@data61.csiro.au>Wed Aug 21 16:38:26 2019 +1000
committerLee, Damon (Data61, Kensington NSW) <Damon.Lee@data61.csiro.au>Thu Aug 22 13:16:55 2019 +1000
tree52aebe97841222b30c0dfee4fd17e29ad613ee44
parentf6d1ba482f0a6fbaccfcc657b4999903589cc120 [diff]
CMake: Use the kernel's DTB if no path given

Instead of generating another DTB, we opt to use the kernel's DTB if no
DTS path was given. This also fixes the issue of missing devices that
can be found in the DTS overlay of the kernel.
1 file changed
tree: 52aebe97841222b30c0dfee4fd17e29ad613ee44
  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. 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