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# cdl_utils
8
9This directory provides a collection of utility scripts relating to capDL.
10
11## capdl_linker.py
12
13The capdl_linker.py generates a final capDL spec from a input list of ELF files,
14and a record of which resources via objects and capabilities that the ELF file
15applications require. This then produces a capDL file (.cdl) that can be given
16to the translator tool for translating into different formats.
17
18## untyped_gen.py
19
20This takes a description of the memory layout in a system from a seL4 build system
21artifact and generates the list of untyped objects that the kernel is expected to
22create. This relies on knowledge of which policies that the kernel will use for
23generating the initial untyped objects. The output of this script is typically
24used for performing more exact allocation of objects in a capDL specification.
25