Teilsystem
Ein Teilsystem bezeichnet eine Erweiterung für Betriebssystemkerne. Mikrokernel-Architekturen verwenden diese für verschiedene Aufgaben, dabei ist es auch möglich mit einem Betriebssystem verschiedene Binärformate auszuführen. So kann zum Beispiel das Betriebssystem Microsoft Windows Formate wie DOS, Win16 und Win32 verarbeiten. Bei monolithischen Architekturen, wie bei Linux, kommen Teilsysteme eher selten zum Einsatz. Ein bekanntes Teilsystem für Linux sind die SELinux-Sicherheitserweiterungen von der NSA.