GitHub repository: seL4/capdl
Primary language: Haskell
Created: 2015-12-09T06:17:53Z
Description: Capability Distribution Language tools for seL4