It's fascinating how "everyone knows" that OSes "should" be written with microkernels and servers, but to a first approximation 100% of all general-purpose comp

It's fascinating how "everyone knows" that OSes "should" be written with microkernels and servers, but to a first approximation 100% of all general-purpose computing[0] is done on monolithic kernels. Are we hosts to an invasive meme with poor reality correlation, or are we victims of history holding us back from the right way to design systems? And how can we distinguish these, since both theories (by design) offer an explanation about how we might be deceived about the better solution? [0] Say, anything with a human input device and/or hardwired internet connection, to cover our bases but exclude IoT.