[dspillett]

Yes, and as kernels grew this is where the arguments for/against micro-kernels began. Modular monoliths seem most common ATM, but micro-kernel architectures haven't entirely lost the game yet.