News for hackers. Stuff that matters.

A comment on L4 microkernels: The lessons from 20 years of research and deployment. Parent comment

Re:L4 microkernels: The lessons from 20 years of research an... by tptacek on Tuesday September 20, 2016 @01:27PM (#12541264)
Honestly, I don't much care about the formal verification of L4; it's the L4 design and implementation strategy that I find compelling.
[ Parent | on HN ]

There are no comments on this comment yet.