01
The Minds Behind Microkernels – 7 People Redefining Architecture
Microkernels repeatedly challenged the idea that an operating-system kernel should contain everything. Seven researchers shaped the path from the RC 4000 nucleus through Mach, MINIX, L4, and formally verified seL4.
↗