Google Git
Sign in
opensecura / 3p / sel4 / capdl / refs/heads/master
commitfda92f51e829c806c8437c7c475c6345a2b4c4dc[log] [tgz]
authorCindy Liu <hcindyl@google.com>Wed Dec 13 01:54:03 2023 -0800
committerCindy Liu <hcindyl@google.com>Wed Dec 13 01:58:20 2023 -0800
tree5aaa2473d8cbb2bc4b4f64f7dfbd3a05f984673f
parent2c81e0aae57921673b519cdcd1ff36ece56bd994 [diff]
Replace deprecated pkg_resources usage

Change-Id: I3655e1b97dc66a5353fb283fb5b25eb87d2029f5
1 file changed
tree: 5aaa2473d8cbb2bc4b4f64f7dfbd3a05f984673f
  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