Google Git
Sign in
opensecura/3p/sel4/capdl/58f126398e59e14e9165bdaf813b40b4007acc35
commit
58f126398e59e14e9165bdaf813b40b4007acc35
[log]
author
June Tate-Gans <jtgans@google.com>
Fri Jul 14 16:03:11 2023 +0000
committer
June Tate-Gans <jtgans@google.com>
Tue Jul 18 16:34:25 2023 +0000
tree
24243fff51cb2c42909aadc7da4d83468ce209ff
parent
47a2b3def99641b972e5cbc9c4f1fdf8ed21e7fe [diff]
rootserver: Adjust to handle nexus platform

Change-Id: Ia101f74bde73cf31ed71f19b3c1862c988f9723b
2 files changed
tree: 24243fff51cb2c42909aadc7da4d83468ce209ff
  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