Dear all,

The web page http://ssrg.nicta.com.au/about/#achievements says:

· All recent Apple iOS devices ship with a security processor controlled by a fork of our L4-embedded microkernel;

I wonder whether the L4-embedded microkernel means seL4.

thanks

Xilong Pei

Tongji University

2016/4/14