GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → seL4 → capdl

seL4 / capdl

Licence: other
Capability Distribution Language tools for seL4

Programming Languages

haskell
3896 projects
python
139335 projects - #7 most used programming language
c
50402 projects - #5 most used programming language
CMake
9771 projects
TeX
3793 projects
Makefile
30231 projects
Vim Script
2826 projects

Labels

capdl

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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].