Support exporting CapDL spec from sel4_capdl_initializer_types::Spec to .cdl #286
Description
This will allow specs created withing Rust to be analyzed and operated on by tools that use the .cdl format.