Tron (./5723) :On n'a pas besoin d'un vrai microkernel pour ça, un noyau monolithique modulaire comme Linux fait ça très bien. (Il est possible de mettre à jour le noyau sans casser les modules, RHEL le fait par exemple.) De plus, le noyau peut de toute façon généralement être traîté comme un seul morceau, c'est au niveau userspace que les paquetages sont le plus utiles.
La magie des OS monolithiques. Un petit micro-kernel et hop, tu ne mets à jours que la partie concernée