microkernel noun1 •A minimal operating system kernel offering basic mechanisms rather than abstract services. formsmicrokernels