search

seL4 / capdl

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

post-release: Update VERSION file to 0.3-dev #69

Closed lsf37 closed 4 months ago

lsf37 commented 4 months ago

Merge once CI has settled for release commit.