Skip to content

update idl for sel4-11.0.0

Jimmy Brush requested to merge update-idl-11.0 into master

Includes changes from sel4-idlgen!4 (merged)

Merge request reports