3 ms·They use L4 in the Secure Enclave. Perhaps they do the same for other embedded devicesby cnasc 7y agoThey use L4 in the Secure Enclave. Perhaps they do the same for other embedded devices