I know nobody will touch this with a ten foot pole, but from a thousand mile view the BSDs seem like a good candidate for a microkernel.