The document discusses different types of computer kernels. A micro kernel performs only essential operations like inter-process communication and virtual memory management in the kernel space, while non-essential operations like device drivers and file systems run in user space. This improves modularity but incurs greater overhead during context switches between kernel and user mode. While micro kernels have advantages like flexibility, reliability and portability, monolithic kernels have better performance since everything runs in the kernel space. Hybrid kernels aim to achieve benefits of both models.
Related topics: