The somewhat perennial discussion of microkernels came up again on kernel@; start at the beginning to read the generally useful conversation.