News for hackers. Stuff that matters.

A comment on 10 Years SeL4: Still the Best, Still Getting Better. Parent comment

Re:10 Years SeL4: Still the Best, Still Getting Better by mpweiher on Tuesday August 06, 2019 @04:22PM (#20629166)
TFA mentions:

"Another fork of L4-embedded is what now runs on the Secure Enclave of all Apple iOS devices."

All Apple iOS devices is pretty big.

[ Parent | on HN ]
Re:10 Years SeL4: Still the Best, Still Getting Better by vilhelm_s on Tuesday August 06, 2019 @05:45PM (#20630000)
But L4-embedded is not seL4. It would be cool to see some large-scale deployment of a formally verified system.
[ Parent | on HN ]