Google GitGoogle Git
Sign in
opensecura/3p/sel4/capdl/81e12f87cc44faf465f087b5d5f6e3caadaad048
commit
81e12f87cc44faf465f087b5d5f6e3caadaad048
[log]
author
Sam Leffler <sleffler@google.com>
Wed May 31 22:00:13 2023 +0000
committer
June Tate-Gans <jtgans@google.com>
Thu Jun 01 18:07:47 2023 +0000
tree
53974daa1445b36bbb43befea63df616c1bb0df8
parent
64d844f9c6df74413e5a9c39a19306961f234793 [diff]
cantrip: Minor changes to accommodate template changes in the rootserver

This is a squashed commit of the following:

70616c7b3cd68185a5a18c26ec1089d307980fec cantrip-os-rootserver: fixup stale comments
d1a9881f0da0d0c8153cac43d639a6014766b51f Base rust template changes

Change-Id: Iba8910ee682cc638ea1f026686f15fd0a64cbd75
2 files changed
tree: 53974daa1445b36bbb43befea63df616c1bb0df8
  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