Kernel: Introduce Multikernel Architecture Support

Oh, this looks really interesting. You only need dedicated CPU cores, but the rest of the hardware can be shared? Better performance than VMs, including Xen? Still some security benefits due to the isolation between kernels? "zero-down kernel update"?

This reads phenomenal, even though I understand it's just RFC at this point. Let's see what comes out of it…