For a while now Intel has been quietly been working on “mOS” as the “multi-OS” that is a modified version of the Linux kernel that in turn is running lightweight kernels for high-performance computing purposes.
Intel mOS has been seldom talked about (or incredibly rare, based on public searches) as it’s still largely a research project but showing much potential in the area of high performance computing for delivering better scalability and reliability of HPC workloads. In fact, mOS can already be used on some supercomputers like ASCI Red, IBM Blue Gene, and others.
I indeed had never heard of this project before. Interesting.