Skip to content

fix idl generation for seL4 12.0.0

Jimmy Brush requested to merge fix-sel4-12-build into master

Merge request reports