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