<!--
     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