The Muen Separation Kernel (muen.codelabs.ch)

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