I think this quotation from page 5 of the seL4 whitepaper [1] about a different micro kernel might help:

> our L4- embedded kernel from the mid-Noughties runs on the secure enclave of all recent iOS devices (iPhones etc)

[1] https://sel4.systems/About/seL4-whitepaper.pdf