seL4 / capdl

Capability Distribution Language tools for seL4

https://sel4.systems

seL4/capdl Issues

find_device_object can be exteremely inefficient
Updated a month ago
Is a TCB's fault endpoint slot fixed?
Closed 5 months ago8
Can't produce a static binary for parse-capDL
Closed 5 months ago2
replace `nose` with newer testing framework
Closed a year ago
CONFIG_VTX checked within CONFIG_ARCH_ARM block?
Updated a year ago1
capdl_spec.c: Remove seL4_libs dependencies from generated spec
Updated 2 years ago2
parse-capDL creates invalid dot file
Updated 3 years ago2
capdl-loader-app RISC-V rv32 warning that left shifts exceed size
Closed 3 years ago1
do branch maintenance
Closed 3 years ago6
Failed to setup the stack in Debian Stretch
Closed 4 years ago1