On 12 Sep 2015, at 16:28 , Raymond Jennings <shentino@gmail.com> wrote:
>
> Does seL4 support x86-64 with 64-bit virtual address spaces?
Not yet, but very soon. We’ll publish our roadmap shortly.
Gernot
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.