rust-sel4 icon indicating copy to clipboard operation
rust-sel4 copied to clipboard
verified publisher icon seL4

Support exporting CapDL spec from `sel4_capdl_initializer_types::Spec` to `.cdl`

Open nspin opened this issue 2 months ago • 0 comments

This will allow specs created withing Rust to be analyzed and operated on by tools that use the .cdl format.

nspin avatar Oct 28 '25 22:10 nspin