Les micro-noyaux ont été développés dans les années 1980 pour permettre de travailler plus facilement sur les services, ainsi que pour les séparer du code du noyau. Essentiellement, un micro - noyau est la quantité minimale de logiciels utilisée pour implémenter un système d'exploitation. Ils se composent de moins de 10 000 lignes de code et incluent IPC (communication interprocessus), la gestion d'espace d'adressage de bas niveau et la gestion de threads.

Remarque: les systèmes d'exploitation classiques suppriment les pilotes de périphérique et les systèmes de fichiers du micro-noyau, en les exécutant dans l'espace utilisateur.

Noyau, termes du système d'exploitation