Google Git
Sign in
opensecura / 3p / sel4 / capdl / c56a5a768b148f1ee9a3cd109eb3208b1905b9bd
commitc56a5a768b148f1ee9a3cd109eb3208b1905b9bd[log] [tgz]
authorSam Leffler <sleffler@google.com>Tue Sep 05 16:56:59 2023 -0700
committerSam Leffler <sleffler@google.com>Thu Oct 05 14:07:02 2023 -0700
treed586dca543289c879001550a17894abfb0891032
parent58f126398e59e14e9165bdaf813b40b4007acc35 [diff]
cantrip-os-rootserver: fetch file fill data per platform

Select the scheme for filling file data according to the target platform.
For now all platforms continue to read data from the cpio  archive embeded
in the capdl-loader image setup in memory. Eventually nexus platforms will
read data from the Security Core (and elide the embedded cpio archive).

Change-Id: Ie5f60b795a206fcccbdc311c4acd0ee3ff4a8527
2 files changed
tree: d586dca543289c879001550a17894abfb0891032
  1. .github/
  2. .reuse/
  3. cantrip-os-rootserver/
  4. capdl-loader-app/
  5. capDL-tool/
  6. cdl_utils/
  7. LICENSES/
  8. object_sizes/
  9. python-capdl-tool/
  10. .gitignore
  11. .licenseignore
  12. .stylefilter
  13. CHANGES
  14. CMakeLists.txt
  15. CODE_OF_CONDUCT.md
  16. Findcapdl.cmake
  17. README.md
  18. VERSION
README.md

Capability Distribution Language

Collection of tools for generating, parsing and loading capdl specifications of systems:

  • capDL-tool - A tool to assist working with capDL textual specifications
  • python-capdl-tool - A Python module for providing CapDL support
  • capdl-loader-app - The capDL initialiser for seL4