Microkernels pertama kali dikembangkan pada 1980-an untuk memungkinkan layanan menjadi lebih mudah dikerjakan, serta memisahkannya dari kode kernel. Pada dasarnya, microkernel adalah jumlah minimal perangkat lunak yang digunakan untuk menerapkan sistem operasi. Mereka terdiri dari kurang dari 10.000 baris kode dan termasuk IPC (komunikasi antarproses), manajemen ruang alamat tingkat rendah, dan manajemen utas.

Catatan: Sistem operasi umum menghapus driver perangkat dan sistem file dari microkernel, menjalankannya di ruang pengguna sebagai gantinya.

Kernel, istilah Sistem Operasi