The proper name would be then Android/Linux, I.e. Linux kernel with a non-gnu userspace. Either way, Linux the kernel has won everywhere but the desktop: serve

The proper name would be then Android/Linux, I.e. Linux kernel with a non-gnu userspace. Either way, Linux the kernel has won everywhere but the desktop: server space, handheld, embedded, etc. In my house there is not a single device without a Linux kernel. This includes my NAS, the fridge, both washing machines, all routers, our tv, a gaming console, all mobile devices, my kids PC, my wife's laptop, and mine as well. It wasn't even a religious choice or something. Out of 20+ devices only 5 required some kind of choice: buying 2 Samsung phones instead of whatever apple sells, 2 dell laptops with Linux preinstalled and a steam deck. Linux success is so massive, I couldn't even imagine it 25 years ago.