Microkernel

Microkernel adalah inti (kernel) dari operating system yang paling sederhana, tidak ada fasilitas apapun, menjadikannya kernel ini berukuran sangat kecil dan biasanya sangat stabil (hampir bisa dipastikan tidak ada lagi bugsnya).

Kategori kernel

• Monolithic kernel. Kernel yang menyediakan abstraksi perangkat keras yang kaya dan tangguh.

• Microkernel. Kernel yang menyediakan hanya sekumpulan kecil abstraksi perangkat keras sederhana, dan menggunakan aplikasi-aplikasi yang disebut sebagai server untuk menyediakan fungsi-fungsi lainnya.

• Hybrid (modifikasi dari microkernel). Kernel yang mirip microkernel, tetapi ia juga memasukkan beberapa kode tambahan di kernel agar ia menjadi lebih cepat

• Exokernel. Kernel yang tidak menyediakan sama sekali abstraksi hardware, tapi ia menyediakan sekumpulan library yang menyediakan fungsi-fungsi akses ke perangkat keras secara langsung atau hampir-hampir langsung.

Keuntungan kernel mikro:

Salah satu keuntungan kernel yang bersifat modular, gonta-ganti hardware menjadi lebih mudah, karena anda tinggal menge-probe suatu modul, atau jika belum ada anda tinggal mem-build satu modul saja. Kerugiannya adalah relatif rentan terhadapat masalah security, karena biasanya script kiddies memasukkan suatu modul ke dalam kernel (dengan harapan proses yang dimilikinya tidak diketahui oleh admin system yang bersangkutan).
Kernel merupakan mediator penghubung antara Software dan Hardware. Kernel dapat di-recompile ulang sesuai dengan kebutuhan perangkat keras yang ingin kita pakai, untuk me-recompile ulang kernel dapat di pilih apakah ingin menggunakan kernel Modular atau kernel Mololitik, dalam pemakaiannya kernel bergantung kepada pengguna sendiri modul apa yang akan digunakan. Kernel juga sangat baik digunakan sebagai real-time yang menjembatani aplikasi dan kebutuhan waktu nyata yang interrupt-nya dapat di ubah dengan modifikasi Header-nya menggunakan kernel-source-tree.