Giters

Vogeltak / capdl

Capability Distribution Language tools for seL4

Home Page:https://sel4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

Capability Distribution Language tools for seL4

https://sel4.systems

Languages

Language:Haskell 48.1%Language:Python 24.7%Language:C 21.8%Language:CMake 2.4%Language:TeX 2.0%Language:Makefile 0.6%Language:Vim Script 0.3%