Mikrokernel

Mikrokernel sangat erat terkait dengan exokernel
, serta memiliki banyak kesamaan dengan hypervisor.
namun implementasinya lebih bersifat minimalis, dan secara spesifik untuk mendukung pengimplementasian mesin virtual. Mikrokernel L4 sering juga disebut sebagai "hypervisor", yang mengindikasikan kemungkinan pengimplementasian sebuah mikrokernel sebagai "hypervisor". Istilah nanokernel dalam sejarahnya digunakan untuk membedakan mikrokernel saat ini dengan istilah mikrokernel sebelumnya yang menyediakan layanan sistem aktual, namun secara prinsip minimalitas menurut Jochen Liedtke dalam disain mikrokernel L4 menyebutkan bahwa istilah-istilah tersebut memiliki arti yang kurang lebih sama.