[$] Mixed-criticality support in seL4

Linux tries to be useful for a wide variety of use cases, but there aresome situations where it may not be appropriate; safety-criticaldeployments with tight timing constraints would be near the top of the listfor many people. On the other hand, systems that can run safety-criticalcode in a provably correct manner tend to be restricted in functionalityand often have to be dedicated to a single task. In a linux.conf.au 2018talk, Gernot Heiser presented work that is being done with the seL4 microkernel system to safely supportcomplex systems in a provably safe manner.