News for hackers. Stuff that matters.

A comment on Sel4: We’re going open source. Parent comment

Re:Sel4: We’re going open source by wmf on Tuesday June 24, 2014 @03:06PM (#7939809)
What if the code doesn't rely on undefined behavior?
[ Parent | on HN ]
Re:Sel4: We’re going open source by regehr on Tuesday June 24, 2014 @04:02PM (#7940197)
Absence of undefined behavior in the C implementation is of course one of the things covered by the seL4 proof.
[ Parent | on HN ]