And it is still going strong! http://www.minix3.org/ http://www.minix3.org/ Minix3 has adopted/is adopting parts of the NetBSD codebase (packages, libc, coreut

And it is still going strong! http://www.minix3.org/ http://www.minix3.org/ Minix3 has adopted/is adopting parts of the NetBSD codebase (packages, libc, coreutils, etc etc) and is closer to the *BSD platforms than ever before. It can be considered a BSD microkernel nowadays. There's still a lot to do and packages to port/features to add, but it's getting there. Since the release of Minix3 (I think it was in 2007) the project has gone more towards the pragmatic and practical world, instead of just academia. Good stuff.