Kernel (ilmu komputer)

Beberapa sistem operasi yang menggunakan microkernel: