microkernel

Een microkernel is in de informatica een kernel die zeer weinig diensten uitvoert en waarbij dus het merendeel van de diensten in gebruikersmodus wordt uitgevoerd. Het woord micro komt van het Oud-Griekse μικρος (micros: "klein"). Daarmee wordt vooral gerefereerd aan het feit dat microkernels zeer klein zijn. De tegenhanger van de microkernel is de monolithische kernel, waarbij de diensten in supervisormodus worden gedraaid.