It's turning it into an exokernel.

Check out xok, it had three in kernel virtual machines.

https://github.com/monocasa/exopc/tree/master/sys