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 ...