The mixed-criticality systems (MCS) extensions to seL4 provide advanced features for temporal isolation.
Resources
- The MCS tutorial introduces the new API.
- The lastest MCS release notes document API differences:
- The Eurosys paper on the new kernel design.
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.