Excuse me, but what Barabanov, Yodaiken and all the stuff you mentioned have to do with the subject?

Have you noticed that Linux on the diagram is a general-purpose OS, used for non-critical tasks? Or, refusing to watch the video, you refuse also to see what's actually depicted on the page?

> it's been working since the 01990s

What's been working since the "01990s"? What hypervisor in 1990s drove real-time OSes on industrial computers alongside general-purpose OSes, providing full resource isolation?