[pipeline_peak]

> If Hurd was completed in the 90s, would anyone use a kernel that was slower than linux because it doesn't share data structures between parts of the kernel?

Perhaps in the server world where uptime is critical. After all, that is Linux’s largest market share.

[NavinF]

Doubt it. In the server world, machines die all the time and nobody cares because ECMP routing and load balancers exist.

[rbanffy]

Embedded, life-critical, and military applications probably would.

HPE makes a ton of money out of their NonStop line of uncrashable machines.