Multikernel

A multikernel operating system treats a multi-core machine as a network of independent cores, as if it were a distributed system. It does not assume shared memory and instead implements inter-process communication as message passing between the cores. Barrelfish was the first operating system to be described as a multikernel. The encyclopedia article lists the Amoeba distributed operating system, distributed operating systems in general and eMCOS among its related topics, which are the neighbouring designs a reader of the article is pointed to.