Wikipedia says: "L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices.", links to a press announcement: https:/

Wikipedia says: "L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices.", links to a press announcement: https://web.archive.org/web/20120211210405/http://www.ok-labs.com/releases/release/ok-labs-software-surpasses-milestone-of-1.5-billion-mobile-device-shipments https://web.archive.org/web/20120211210405/http://www.ok-lab... Okay, if I look more closely, OKL4 seems to be used as a hypervisor to host regular kernels. I am not sure how much that buys one, really, from a security point of view. Also, the same Wikipedia article states: "Apple mobile application processors beginning with the A7 contain a Secure Enclave coprocessor running an L4 operating system. This implies that L4 is now shipping on all iOS devices, the total shipment of which is estimated at 310 million for the year 2015."