capDL Release 0.4.0#80

Merged

lsf37 merged 2 commits intomasterfrom

Nov 25, 2025

Commits on Nov 24, 2025

Release 0.4.0

seL4-ci
authored and
lsf37
committed
Update VERSION file to 0.4.0-dev

seL4-ci
authored and
lsf37
committed