Username or EmailPassword
Please respect the old guys; you are walking on the roads they built for us!
About microkernels: XNU (the Mac OS X microkernel base) shows they are completely viable; QNX is also a viable option.
XNU is not a microkernel and a million posts by AFs will not change that. Sure some parts of XNU were based on MACH (http://en.wikipedia.org/wiki/Mach_kernel) long ago, but combined with all the FreeBSD stuff Apple ended up with something that is defintely not a microkernel. It is even more a monolith than it is a hybrid. The difference between KFreeBSD and XNU is not that great.