
12 Sep
2015
12 Sep
'15
11:10 p.m.
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.