The Muen Separation Kernel

I was thinking is there a micro-kernel out there that uses VTx to separate the parts, like protected mode on steroids, turns out there is. Thought I'd share