Also in memoriam Jochen Liedtke [0], who started the L4 kernel project and rekindled research in microkernels by showing that they don't have to be slow ('slow' as in Mach's long IPC latencies).

[0] https://en.m.wikipedia.org/wiki/Jochen_Liedtke