Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on L4Linux – Linux running on the L4 microkernel. Parent comment
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.
There are no comments on this comment yet.
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.