Apparently, desktop Linux use measures 3.08 per cent, lagging about a quarter behind the usage of ChromeOS at 4.15 per cent. The problem with this is that ChromeOS is also a Linux distribution. It’s a strange distro, non-standard in several ways, but current versions are built on the basis of Gentoo Linux, switching from an Ubuntu basis some years earlier.
I wonder what has the other half of the Linux market. Linux, perhaps?
ChromeOS.