Thus making the headline effectively: "The most popular OS in the world ... shipping today on modern Intel-based computers ... thanks to Intel".

If we're all MINIX users, then Linux is a major player in the smartphone market and BSD is crushing the laptop market.