search

seL4 / capdl

Capability Distribution Language tools for seL4
https://sel4.systems
35 stars 45 forks source link

cdl_utils: more PyYaml adjustments #32

Closed lsf37 closed 2 years ago

lsf37 commented 2 years ago

The previous commit missed a spot and managed to misspell the argument.