Kernel (ilmu komputer)

Dalam teorinya, sistem operasi yang menggunakan "microkernel" disebut jauh lebih stabil dibandingkan dengan "monolithic kernel", karena sebuah "server" yang gagal bekerja, tidak akan menyebabkan "kernel" menjadi tidak dapat berjalan, dan "server" tersebut akan dihentikan oleh kernel utama. Akan tetapi, dalam praktiknya, bagian dari "system state" dapat hilang oleh server yang gagal bekerja tersebut, dan biasanya untuk melakukan proses eksekusi aplikasi pun menjadi sulit, atau bahkan untuk menjalankan server-server lainnya.