3 ms·
Very nice design. I'm especially impressed they went with L4. For those who may not be aware, seL4 has been formally verified using COQ.
by ddp 10y ago
Very nice design. I'm especially impressed they went with L4. For those who may not be aware, seL4 has been formally verified using COQ.
- bryanbuckley 10y agoseems like a natural pick, no? The OS for the TEE from Trustonic is based on L4 since around 2010 ("mobicore" from G&D).