[$] Bao: a lightweight static partitioning hypervisor

Developers of safety-critical systems tend to avoid Linux kernels for anumber of fairly obvious reasons; Linux simply was not developed with thatsort of use case in mind. There are increasingly compelling reasons to useLinux in such systems, though, leading to a search for the best way to doso safely. At the 2020 Power Management and Schedulingin the Linux Kernel summit (OSPM), Jose Martins described Bao, a minimalhypervisor aimed at safety-critical deployments.