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