Linux Code Review Hub

Oct 10, 2025 · Fundamentals

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.