26 Jun
2014
26 Jun
'14
11:25 a.m.
HI,
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?
Thanks,
--
Peter Howard pjh@northern-ridge.com.au