Sebuah kernel menerapkan seperangkat minimal abstraksi. Biasanya, tingkat yang lebih tinggi OS layanan seperti sistem file dan driver perangkat diterapkan di lapisan atas mikrokernel, mungkin di server pengguna-mode dipercaya. Mac OS X adalah hibrida antara mikrokernel dan arsitektur kernel monolitik. Lihat juga kernel monolitik.