14 Sep
2015
14 Sep
'15
2:43 a.m.
Nice. I'll read it as soon as it's out. On Sat, Sep 12, 2015 at 6:10 AM, Gernot Heiser <gernot@nicta.com.au> wrote:
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.