Multikernel
Type of operating system kernel
From Wikipedia, the free encyclopedia
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 but rather implements inter-process communications as message-passing.[1][2] Barrelfish was the first operating system to be described as a multikernel.
