[seL4] Is the L4-embedded microkernel here means seL4

14 Apr 2016

      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

[seL4] Is the L4-embedded microkernel here means seL4

XilongPei