On: L4Linux – Linux running on the L4 microkernel

[__bjoernd]

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.