Native seL4 and CAmkES examples of mixed criticality mechanisms. - View it on GitHub