Developers of safety-critical systems tend to avoid Linux kernels for a
number of fairly obvious reasons; Linux simply was not developed with that
sort of use case in mind. There are increasingly compelling reasons to use
Linux in such systems, though, leading to a search for the best way to do
so safely. At the 2020 Power Management and Scheduling
in the Linux Kernel summit (OSPM), José Martins described Bao, a minimal
hypervisor aimed at safety-critical deployments.

Source: LWN.net – [$] Bao: a lightweight static partitioning hypervisor