Mikro çekirdek
Mikro çekirdek veya mikro kernel, bir işletim sistemi türüdür. Mikro çekirdek yapısında, ana çekirdek sadece birimler arası iletişim ve süreçleri sıralama işlerini yapar. Bellek yönetimi, kayıt ortamı yönetimi, sürücüler ve ağ ile ilgili çok sayıda süreç birbirleriyle iletişim kurarak haberleşir. Bu sayede; Parçalardan oluşan yapı ile tasarımın sadeleştirilmesi, bir parçadaki hatanın diğer parçaları etkilemesi ve çalışma anında işletim sisteminin güncelleştirilebilmesi mümkün olabilmektedir.
Akademik bir çalışmanın ürünü olan Minix ve Mach çekirdekleri ile ticari ürün olarak Windows NT (her ne kadar , tek parçalı (monolitik) çekirdeklerden de başarım (performans) için gerekli özellikler barındırsa da) mikro kernel olarak tasarlanmışlardır.
