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 es nur sehr wenig Abstraktion der Hardware für Programme und beschränkt sich darauf Ressourcenkonflikte zu verhindern und Zugriffsrechte zu...