GitHub repository: seL4/mcs-examples-manifest
Description: Native seL4 and CAmkES examples of mixed criticality mechanisms.