Exokernel

Ein Exokernel, auch als vertikal strukturiertes Betriebssystem bezeichnet, ist eine Art von Kernel und damit der zentrale Bestandteil eines Betriebssystems. Im Gegensatz zu den meisten anderen Kernels bietet er nur sehr wenig Abstraktion der Hardware für Programme und beschränkt sich darauf, Ressourcenkonflikte zu verhindern und Zugriffsrechte zu prüfen.

Man kann sich Exokernel als eine konsequente Weiterführung des Mikrokernel-Konzepts vorstellen. Im Gegensatz zu diesen sind sie aber noch rigider in der Wahl der angebotenen Mechanismen.