Definition of "microkernel"

microkernel