[badosu]

It would be interesting to see if modern multi-core cpus make the possible overhead of microkernels a non-issue today.

[jacquesm]

Microkernels are much easier to optimize for multi-core CPUs than monoliths. The ´kernel modules´ from a monolith run as user processes in a microkernel environment so they automatically benefit from more cores.