Denali

Denali is a kernel for multiplexing virtual machines.

So far it has only a demo OS ported to it - Ilwaco.