search

seL4 / capdl

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

trivial: Fix format strings #38

Closed hlyytine closed 2 years ago

hlyytine commented 2 years ago

Signed-off-by: Hannu Lyytinen hannux@ssrc.tii.ae