Android is technically the most widely used Linux variant in use.

And I wouldn’t be surprised if ChromeOS is second.