GNU Hurd, combien de divisions ? Je ne connais personne qui l'utilise.
Le noyau monolithique de Linux a au moins un mérite, c'est que tout est sous licences GPL v2. Avec un micronoyau, il pourrait y a voir des modules sous différentes licences. Je n'imagine même pas les problèmes de licences incompatibles, ou demandant d'utiliser tel module sous telles conditions.
A côté des options techniques, on oublie trop souvent le problème des licences.
Linux