On Sat, Jan 7, 2017 at 6:11 AM, Tony Arcieri <[email protected]> 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
