News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by shawnz on Tuesday April 07, 2020 @09:40AM (#22803096)
If you take the original code as the formal statement, how could it ever be wrong?
[ Parent | on HN ]

There are no comments on this comment yet.