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

Liangxu Linux

Jun 24, 2025 · Fundamentals

Why HarmonyOS’s Microkernel Isn’t Linux Yet Runs Linux Apps

The article explains how HarmonyOS’s microkernel differs from Linux’s monolithic design, why it can still run Linux binaries through POSIX, ABI shim, and HDF layers, and what architectural choices enable high‑performance IPC, distributed operation, and deterministic scheduling.

ABI shimHarmonyOSIPC

0 likes · 12 min read

Why HarmonyOS’s Microkernel Isn’t Linux Yet Runs Linux Apps

Liangxu Linux

Feb 12, 2025 · Fundamentals

Monolithic vs Microkernel: Which OS Design Is Right for You?

This article explains the two main operating system kernel designs—monolithic kernels that run all code in kernel mode and microkernels that keep only essential services in kernel mode—detailing their structures, advantages, drawbacks, and real‑world examples such as Linux, macOS, Windows NT, and Harmony OS.

Kernel ArchitectureMonolithic KernelOS design

0 likes · 6 min read

Monolithic vs Microkernel: Which OS Design Is Right for You?

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

Why HarmonyOS’s Microkernel Isn’t Linux Yet Runs Linux Apps

Monolithic vs Microkernel: Which OS Design Is Right for You?

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