GitHub repository: seL4/capdl-loader-app
Primary language: C
Description: The capDL initialiser for seL4.