News for hackers. Stuff that matters.

A comment on Minix 3.3.0. Parent comment

Re:Minix 3.3.0 by chubot on Tuesday September 16, 2014 @12:29PM (#8325341)
I think it's a great idea actually. Build a small kernel with very few responsibilities so it's easier to prove safety

That already exists and was just open sourced! See seL4:

http://en.wikipedia.org/wiki/L4_microkernel_family#High_assu...

[ Parent | on HN ]

There are no comments on this comment yet.