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