News for hackers. Stuff that matters.

A comment on Nasty Lockup Issue Still Being Investigated for Linux 3.18. Parent comment

Re:Nasty Lockup Issue Still Being Investigated for Linux 3.18 by lomnakkus on Monday December 01, 2014 @01:20PM (#8682681)
L4 was verified (mostly, at least): http://ertos.nicta.com/research/l4.verified/approach.pml
[ Parent | on HN ]

There are no comments on this comment yet.