On Mon, 8 Jan 2024 13:57:09 -0000 (UTC), Simon Clubley wrote: > It really is a pity Linux didn't go down the microkernel route. Andy Tanenbaum already had an argument with Linus Torvalds about that, and lost. Today, Tanenbaum has (unsuccessfully) been trying to commercialize MINIX, while Linux essentially dominates the computing world.