Re: [seL4] seL4 as Xen guest / AWS