microkit icon indicating copy to clipboard operation
microkit copied to clipboard
verified publisher icon seL4

Output capDL spec as CDL format

Open Ivan-Velickovic opened this issue 1 month ago • 0 comments

Follow up from https://github.com/seL4/microkit/pull/337, we have JSON output right now via --capdl-spec but to leverage existing verification tooling we need to output the CDL format (e.g https://github.com/seL4/capdl/blob/master/capDL-tool/example.cdl)

This will not be part of the upcoming release (2.1.0)

Ivan-Velickovic avatar Nov 24 '25 01:11 Ivan-Velickovic