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.