Apple mobile application processors beginning with the A7 contain a SEPOS coprocessor running SEPOS based on the Darbat/L4-embedded kernel developed at NICTA in 2006.
- based on information obtained 2017-12-08-
- based on information obtained 2017-12-08-