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 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 ]

There are no comments on this comment yet.