As the ranter in question, a very important correction: my concerns were about unikernels, not microkernels. That these two are conflated is tragic (and ironic) because they actually live on opposite ends of a belief spectrum: unikernels believe that everything should be in the kernel for performance reasons; microkernels believe that essentially nothing should in the kernel for robustness reasons. Speaking personally, I am a microkernel believer (I worked at QNX back in the day and can tell you that microkernels are in production all around you and in safety-critical capacities) -- but I am (obviously) a unikernel skeptic.