From what I have read on operating systems, the impression I have been receiving is that, for at least 30 years, "everybody has known" that microkernel-based operating systems are "better" than monolithic operating systems. And yet, I have a Linux OS at work and am typing these lines on a computer running a Windows OS at home. Moreover, looking at Wikipedia's list of microkernel-based operating systems, it seems most are old and have been discontinued, and none have really broken into the PC space (although FreeRTOS is a player in the embedded space).
Question: Why has no microkernel-based OS broken into the mainsteam? Why is the world still using monolithic OS's 28 years after Tanenbaum-Torvalds? What is the "hard problem" microkernel-based OS's have not been able to solve, and why do people keep trying?