I guess GNU/Linux, musl+busybox/Linux in not really popular
https://survey.stackoverflow.co/2023/?ref=itsfoss.com#section-most-popular-technologies-operating-system says for developers: Ubuntu, then WSL, then Debian, then everything else, then Arch, then…
Android also has personal use that ranks higher than WSL but professional use that ranks a tiny bit higher than Debian. Not sure if it’s a Linux distro, but it’s tangential.
Android, ChromeOS, Coreboot, WSL2 are all Linux Distros
IDK about Coreboot, but Android has a completely different userland. The only thing it has in common with Linux is the kernel. Nearly everything else is different. Everything else I agree, but only if you mean WSL2, which is basically an enhanced virtual machine, instead of WSL1, which translates system calls to Windows.
What do you mean “on PC” ? What else is there?
