News for hackers. Stuff that matters.

A comment on L4Linux – Linux running on the L4 microkernel.

Re:L4Linux – Linux running on the L4 microkernel by butterisgood on Saturday January 19, 2019 @01:02PM (#18948239)
This is at least a decade old... If it was going to become a popular way of running Linux, as some have suggested, what's stopped it so far?
[ Parent | on HN ]
Re:L4Linux – Linux running on the L4 microkernel by __bjoernd on Saturday January 19, 2019 @01:40PM (#18948437)
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.

[ Parent | on HN ]