Hacker News Reader

You may be interested in Spectrum OS[1], which is more or less what you're looking for.

Glad to see it doesn't stick with Xen, that's really interesting! (if not seL4-interesting)