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. Een microkernel is vrij compact omdat deze veel minder hoeft te regelen dan een monolithische kernel. Gevonden op https://nl.wikipedia.org/wiki/Microkernel