A collection of native and CAmkES examples demonstrating mechanisms for Mixed-Criticality Systems (MCS).
tupelo-shen / mcs-examples-manifest Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sel4/mcs-examples-manifest
Native seL4 and CAmkES examples of mixed criticality mechanisms.