[jacquesm]

> I don't think the fundamental problem with them — performance is horrible — had been made obvious yet.

Microkernels can be just as fast as macrokernels and other than raw throughput can give latency guarantees that a macrokernel can't.

Message passing overhead can be minimized (by using the paging mechanism for passing messages between tasks on the same node).