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.
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.