News for hackers. Stuff that matters.

A comment on SeL4 Whitepaper [pdf]. Parent comment

Re:SeL4 Whitepaper [pdf] by moonchild on Monday December 28, 2020 @03:03AM (#25557565)
A verifiably correct kernel is a necessary, but not sufficient condition for a self-driving vehicle to be trustworthy.
[ Parent | on HN ]

There are no comments on this comment yet.