In computer science, a microkernel is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system (OS).
The Executive Services, the Hardware Abstraction Layer (HAL), the microkernal, and kernel mode drivers