Microkernel

Quais são os exemplos de arquitetura de microkernel? Um dos melhores exemplos para a arquitetura microkernel é o Eclipse IDE. Eclipse como produto bas...