File included from github repo edit


This directory provides a collection of utility scripts relating to capDL.

The 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.

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.

End file included from github repo edit