Appearance move to sidebar hide

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. Barrelfish was the first operating system to be described as a multikernel.

See also


  1. ^ Baumann et al., "The Multikernel: a new OS architecture for scalable multicore systems", to appear in 22nd Symposium on Operating Systems Principles (2009)
  2. ^ The Barrelfish operating system,
  3. ^ eSOL eMCOS distributed kernel,