MCS (mixed-criticality systems) kernel

The mixed-criticality systems (MCS) extensions to seL4 provide advanced features for temporal isolation.


Current status

The MCS kernel extensions are currently undergoing verification. The changes are not small and involve new objects, object relations and altering of the IPC path.

We try to do releases of the MCS kernel matching each seL4 release: the changes are constantly rebased so there is no branch to follow at this point in time.