7 Jan
2017
7 Jan
'17
12:09 p.m.
On Sat, Jan 7, 2017 at 6:11 AM, Tony Arcieri
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.