Congratulations, well deserved! Also in memoriam Jochen Liedtke [0], who started the L4 kernel project and rekindled research in microkernels by showing that t

Congratulations, well deserved! 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 https://en.m.wikipedia.org/wiki/Jochen_Liedtke