Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / 44adb6d365141c181f565f617233573371efc620
commit44adb6d365141c181f565f617233573371efc620[log] [tgz]
authorAnna Lyons <Anna.Lyons@data61.csiro.au>Thu Aug 02 14:39:50 2018 +1000
committerAnna Lyons <Anna.Lyons@data61.csiro.au>Tue Aug 07 15:47:20 2018 +1000
treef3f03a58a17e52e55dd9ccac7cd917273fefad35
parent29d7fd28c6f9636379a2006f7ad668a729e14fbf [diff]
Add ability to pass a dts to camkes-tool

- add CAmkESDTS option to cmake
- if enabled, this option allows either a dts file to be passed to
DeclareCAmkESRootServer, or a default dts is located from
tools/seL4/dts matching the pattern ${PLATFORM}.dts
- the dts is then converted to dtb format, which is what is parsed
by the camkes-tool itself
- add a --dtb option to camkes tool, which does not do anything with the
file yet beyond checking that the file exists
2 files changed
tree: f3f03a58a17e52e55dd9ccac7cd917273fefad35
  1. camkes/
  2. docs/
  3. examples/
  4. include/
  5. libcamkescakeml/
  6. libsel4camkes/
  7. libsel4muslccamkes/
  8. misc/
  9. tools/
  10. .gitignore
  11. .licenseignore
  12. alltests.py
  13. camkes-top-level.cmake
  14. camkes.cmake
  15. camkes.mk
  16. camkes.sh
  17. CHANGES
  18. CMakeLists.txt
  19. Kbuild
  20. Kconfig
  21. LICENSE_BSD2.txt
  22. README.md
  23. toplevel.mk
  24. 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