Micronoyau
Dans un système d'exploitation, un micronoyau est la partie irréductible du noyau. En général, on lui délègue la gestion des processus, du matériel et de la mémoire, le reste étant assuré par des modules externes qui peuvent être activés ou désactivés sélectivement.
| Sommaire |
But
L'objectif principal recherché est la séparation des implémentations particulières et des opérations indispensables au fonctionnement de tout système.
La séparation en micronoyau et modules optionnels doit également permettre une mise au point bien plus rapide des drivers et autres extensions comme les moniteurs de télécommunications : aucun reboot n'est jamais nécessaire d'une part, et le noyau contient trop peu de chose pour ne pas être rapidement débogué lui-même d'autre part.