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

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 https://sel4.systems/About/seL4-whitepaper.pdf