| <!-- | |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| SPDX-License-Identifier: CC-BY-SA-4.0 | |
| --> | |
| # 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 |