News for hackers. Stuff that matters.

A comment on 10 Years SeL4: Still the Best, Still Getting Better. Parent comment

Re:10 Years SeL4: Still the Best, Still Getting Better by garmaine on Tuesday August 06, 2019 @10:22PM (#20631496)
And Minix which runs inside every Intel CPU.
[ Parent | on HN ]

There are no comments on this comment yet.