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 woorddeel micro komt van het Oudgriekse μικρός (mikros: "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.