[$] Linux in mixed-criticality systems

The Linux kernel is generally seen as a poor fit for safety-criticalsystems; it was never designed to provide realtime response guarantees orto be certifiable for such uses. But the systems that can be usedin such settings lack the features needed to support complex applications.This problem is often solved by deploying a mix of computers runningdifferent operating systems. But what if you want to support a mixture oftasks, some safety-critical and some not, on the same system? At a talkgiven at LinuxLab 2018, ClaudioScordino described an effort to support this type of mixed-criticalitysystem.