microkernel - noun

singular	microkernel
plural	microkernels