Skip to content

chrisguikema/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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 50.1%
  • C 20.8%
  • Python 15.9%
  • TeX 10.1%
  • CMake 1.9%
  • Makefile 0.6%
  • Other 0.6%