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.

File included from github repo edit