Hacker News new | ask | show | jobs
by 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).