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.