Somehow our mailing list setup seems to swallow quoting, sorry, will try to get this fixed. This should have been: On 26 Jun 2014, at 11:25 , Peter Howard <pjh@northern-ridge.com.au<mailto:pjh@northern-ridge.com.au>> wrote: I'm wondering what CPUs the initial source release for seL4 will support. In http://www.nicta.com.au/pub?doc=6930&filename=Elphinstone_Heiser_13.pdf It references Core i7 32-bit, ARM11, and Cortex A9 - covering x86, ARMv6, and ARMv7. What else will be in there? the set of supported architectures hasn’t changed: ARMv6, ARMv7 and x86 (32-bit) 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.