Skip to content

Latest commit

 

History

History
20 lines (13 loc) · 668 Bytes

README.md

File metadata and controls

20 lines (13 loc) · 668 Bytes
Raw

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.