Microkernel OS: Why They Matter Today 🖥️

The kernels of the most popular operating systems today have grown to such an extent that their code can occupy tens of millions of lines. Given this, there’s a growing need for a more compact and reliable solution with a smaller trusted code base (TCB). That’s why the old concept of microkernel operating systems is being reborn today.

In this episode we talk about microkernel operating systems with Andrey Naenko – KasperskyOS microkernel development team manager. We discuss what microkernel operating systems are, why and how they appeared, as well as performance issues and prospects for the future.

More about KasperskyOS microkernel: https://kas.pr/yfd1.

0:00 — Intro
0:58 — Why and how microkernel operating systems appeared
2:34 — Performance issues
5:18 — How microkernels evolved
7:43 – Remark about formal verification
8:52 — Prospects of microkernel operating systems

#microkernel #cyberimmunity #kasperskyos