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 josephlord on Tuesday June 24, 2014 @09:53PM (#7941832)
4) It meets the specification but the specification is incorrect/specifies sub-optimal behaviour.
[ Parent | on HN ]
Re:Sel4: We’re going open source by nl on Wednesday June 25, 2014 @12:30AM (#7942250)
If you can fix that problem in the general case then you are about to be a very, very rich person.
[ Parent | on HN ]