Multikernel
A multikernel
Barrelfish was the first operating system to be described as a multikernel.See also
- Amoeba distributed operating system
- Barrelfish
- Distributed operating system
- eMCOS[3]
- HarmonyOS
- OpenHarmony
- openEuler
- Oniro OS
- BlueOS
References
- ^ Baumann et al., "The Multikernel: a new OS architecture for scalable multicore systems", to appear in 22nd Symposium on Operating Systems Principles (2009), https://people.inf.ethz.ch/troscoe/pubs/sosp09-barrelfish.pdf
- ^ The Barrelfish operating system, http://www.barrelfish.org/.
- ^ eSOL eMCOS distributed kernel, https://www.esol.com/embedded/emcos.html