seL4 / mcs-examples-manifest

Native seL4 and CAmkES examples of mixed criticality mechanisms.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

mcs-example-manifest

A collection of native and CAmkES examples demonstrating mechanisms for Mixed-Criticality Systems (MCS).

About

Native seL4 and CAmkES examples of mixed criticality mechanisms.