On Sat, Jan 7, 2017 at 6:11 AM, Tony Arcieri <bascule@gmail.com> wrote:

Has anyone managed to run seL4 as a Xen HVM guest? I was more specifically curious about running seL4 on an EC2 instance.

I'm mucking about with a Xen/HVM port at the moment, with EC2 as the ultimate target. Will hit the list when there's something useful to show.