My guiding design principle was to take a trendline from monolithic kernels to microkernels, then keep on going until you had no kernel left.