Hi,

In college, there was a lot of talk about microkernels being ideologically
superior to traditional monolithic kernels, but everything I've read about
real-world implementations seems to point to problems with message passing
inefficiencies.  Even so-called microkernel OS X seems to deviate greatly
from the microkernel paradigm in order to make Mach work in the real
world.  Given NetBSD's focus on technical elegance, what do people here
think about the supposed superiority of microkernels.

-Nathan