Nice. I'll read it as soon as it's out. On Sat, Sep 12, 2015 at 6:10 AM, Gernot Heiser wrote:

On 12 Sep 2015, at 16:28 , Raymond Jennings 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.