Dear all,
The web page http://ssrg.nicta.com.au/about/#achievements says:
!$ All recent Apple iOS devices ship with a http://www.apple.com/business/docs/iOS_Security_Guide.pdf 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