Right, if you are looking at consumer PC devices, you would be misled to think that Microsoft leads the way, but if you look at things like embedded devices, servers, super computers and smart phones (if Android is considered linux?), then Linux leads the way. Even commercially Linux is pretty strong because it enables very large businesses. AWS makes up the majority of Amazon's profit.

Edit: at link to share of OSes

https://en.wikipedia.org/wiki/Usage_share_of_operating_syste...