Yeah, as Wikipedia puts it:

As of April 2024, Android, a mobile OS that uses the Linux kernel, is the world’s most widely used operating system. It has 42.73% of the global market, followed by Windows with 28.08%

And these numbers don’t include embedded devices, of which there are a metric fuckton. So, non-Android Linux might be ahead of Android, too.