Virtual machines running Linux have actually become quite popular in the past decade. ;) It's not the research project's fault that a different mechanism is us

Virtual machines running Linux have actually become quite popular in the past decade. ;) It's not the research project's fault that a different mechanism is used in the public cloud. As for microkernels, they are actually used, but not in mainstream server systems.