Skip to content
/ capdl Public

Capability Distribution Language tools for seL4

Notifications You must be signed in to change notification settings

seL4/capdl

Repository files navigation

Capability Distribution Language

Collection of tools for generating, parsing and loading capdl specifications of systems:

  • capDL-tool - A tool to assist working with capDL textual specifications
  • python-capdl-tool - A Python module for providing CapDL support
  • capdl-loader-app - The capDL initialiser for seL4

Reporting security vulnerabilities

If you believe you have found a security vulnerability in this code, we ask you to follow the seL4 vulnerability disclosure policy.