The Muen Separation Kernel(muen.codelabs.ch)
muen.codelabs.ch
The Muen Separation Kernel
http://muen.codelabs.ch/
1 comments
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