To add to that, Android is likely the overwhelming market share of Linux-based operating systems in use today. For that matter, an absolute ton of Intel CPUs have Minux installed on them too, but I wouldn't call this "on the desktop", just interesting.