To that extent, MiXen currently uses an unmodified Xen kernel. However, it tries to isolate the device drivers from the Dom0 kernel and run them in separate domains... While this has been done before with so-called driver domains, which being full..
Relevance: 14.178471