Android is technically the most widely used Linux variant in use.
And I wouldn't be surprised if ChromeOS is second.
And I wouldn't be surprised if ChromeOS is second.