This is a category of Microkernels.