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.
participants (2)
-
Gernot Heiser -
Raymond Jennings