| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 28-Jul-2020 | 15 | ||
| .github/ | H | 23-Jun-2020 | 3 | |
| .gitignore | H A D | 23-Jun-2020 | 119 | |
| .licenseignore | H A D | 23-Jun-2020 | 425 | |
| .reuse/ | H | 23-Jun-2020 | 3 | |
| .stylefilter | H A D | 23-Jun-2020 | 108 | |
| capdl-loader-app/ | H | 12-Oct-2020 | 7 | |
| capDL-tool/ | H | 04-Nov-2020 | 27 | |
| cdl_utils/ | H | 11-Sep-2020 | 6 | |
| CHANGES | H A D | 09-Nov-2020 | 6.1 KiB | |
| CMakeLists.txt | H A D | 23-Jun-2020 | 205 | |
| CODE_OF_CONDUCT.md | H A D | 23-Jun-2020 | 330 | |
| Findcapdl.cmake | H A D | 23-Jun-2020 | 846 | |
| LICENSES/ | H | 23-Jun-2020 | 5 | |
| object_sizes/ | H | 30-Sep-2020 | 5 | |
| python-capdl-tool/ | H | 24-Jun-2020 | 8 | |
| README.md | H A D | 23-Jun-2020 | 428 | |
| VERSION | H A D | 09-Nov-2020 | 15 |
README.md
1<!-- 2 Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 4 SPDX-License-Identifier: CC-BY-SA-4.0 5--> 6 7# Capability Distribution Language 8 9Collection of tools for generating, parsing and loading capdl specifications of systems: 10 11* capDL-tool - A tool to assist working with capDL textual specifications 12* python-capdl-tool - A Python module for providing CapDL support 13* capdl-loader-app - The capDL initialiser for seL4 14