A reimplementation of NetBSD based on a microkernel by Andy Tanenbaum | Hacker News Reader