[$] Multiple kernels on a single system

The Linux kernel generally wants to be in charge of the system as a whole;
it runs on all of the available CPUs and controls access to them globally.
Cong Wang has just come forward with a different
approach: allowing each CPU to run its own kernel. The patch set is in
an early form, but it gives a hint for what might be possible.