Hacker News new | ask | show | jobs
by ddp 3608 days 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.
1 comments
bryanbuckley 3602 days ago
seems like a natural pick, no? The OS for the TEE from Trustonic is based on L4 since around 2010 ("mobicore" from G&D).
link