[ - Collapse All ]
Mikrokernel  

Mi|k|ro|ker|nel [...kœnḻ, auch: 'mai̮kro℧...] der; -s, -s <engl.>: (EDV) reduzierter Kern eines Betriebssystems, der nur den Zugriff auf die Hardware sowie die Kommunikation weiterer Komponenten des Betriebssystems verwaltet