| <!-- | |
| Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) | |
| SPDX-License-Identifier: CC-BY-SA-4.0 | |
| --> | |
| # cdl_utils | |
| This directory provides a collection of utility scripts relating to capDL. | |
| ## capdl_linker.py | |
| The capdl_linker.py generates a final capDL spec from a input list of ELF files, | |
| and a record of which resources via objects and capabilities that the ELF file | |
| applications require. This then produces a capDL file (.cdl) that can be given | |
| to the translator tool for translating into different formats. | |
| ## untyped_gen.py | |
| This takes a description of the memory layout in a system from a seL4 build system | |
| artifact and generates the list of untyped objects that the kernel is expected to | |
| create. This relies on knowledge of which policies that the kernel will use for | |
| generating the initial untyped objects. The output of this script is typically | |
| used for performing more exact allocation of objects in a capDL specification. |