Hacker News new | ask | show | jobs
by scythe 3662 days ago
QNX is proprietary. Also, the NetBSD anykernel is where I think the sweetspot is.
1 comments
cpeterso 3662 days ago
Or MINIX. You could rewrite MINIX's microkernel servers one by one. You have a working kernel and userspace on day one and the end result is a robust microkernel design written in a safe language.
link