Mikro çekirdek
İşletim Sistemi Çekirdek Türü
Genel bilgiler
Bilgisayar biliminde bir mikro çekirdek (İngilizce: microkernel), bir işletim sistemini uygulamak için gereken mekanizmaları minimuma yakın sağlayan işletim sistemi çekirdeği türüdür.
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ürec birbirleriyle iletişim kurarak haberleşir.
Mikro çekirdek, çekirdek modu olarak adlandırılan en ayrıcalıklı düzeyde çalışan tek yazılım olabilir.