On 26 Jun 2014, at 11:25 , Peter Howard 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.
