Multikernel Operating Systems: A Scholarly Survey of Recent Research

This article surveys prominent multikernel operating systems—including Barrelfish, fos, Popcorn Linux, Twin‑Linux, IHK/McKernel, mOS, and RainForest—detailing their design principles, implementation approaches, performance results, and the evolution of research over the past decade.

BarrelfishHPCMultikernel

0 likes · 19 min read

Multikernel Operating Systems: A Scholarly Survey of Recent Research

Linux Kernel Journey

Oct 1, 2025 · Fundamentals

Multi‑Kernel OS Research Overview (Part 2): Strengths and Weaknesses

This article surveys prominent multi‑kernel operating systems—including Barrelfish, fos, Popcorn Linux, Twin‑Linux, IHK/McKernel, mOS and RainForest—explaining their design principles, performance benefits, scalability on heterogeneous hardware, observed limitations, and the broader research trajectory.

BarrelfishHPCMultikernel

0 likes · 21 min read

Multi‑Kernel OS Research Overview (Part 2): Strengths and Weaknesses

Multikernel Operating Systems: A Scholarly Survey of Recent Research

Multi‑Kernel OS Research Overview (Part 2): Strengths and Weaknesses

Multi‑Kernel OS Research Overview (Part 2): Strengths and Weaknesses