News for hackers. Stuff that matters.
Re:10 Years SeL4: Still the Best, Still Getting Better by carapace on Tuesday August 06, 2019 @05:57PM (#20630091)
FWIW, OK Labs was acquired by General Dynamics in 2012.

There are no comments on this comment yet.