3 ms·
QNX is proprietary. Also, the NetBSD anykernel is where I think the sweetspot is.
by scythe 10y ago
QNX is proprietary. Also, the NetBSD anykernel is where I think the sweetspot is.
- cpeterso 10y agoOr 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.