Microkernel

Microkernel ist eine andere Bezeichnung für Mikrokern: Betriebssystemkern, der im Gegensatz zu einem monolithischen Kernel nur grundlegende Funktionen erfüllt. In der Regel sind dies die Speicher- und Prozessverwaltung sowie Grundfunktionen zur Synchronisation und Kommunikation. Siehe auch Kernel und monolithischer Kernel.

Zurück