Correct, but the majority of those numbers are command line servers, dvd players, etc etc. It’s kind of like when java brags about being installed on millions and millions of devices around the world when 3/4 of those number are things like microwaves and car stereos. Break that “80%” down into the REAL numbers of actual desktop/laptop users, now break what’s left of that up into how many game… It’s <1% of all gaming. As for the PS4 running Linux, no, it runs on a heavily modified BSD. If you took MSDOS and made your own Windows OS based on it; you wouldn’t call it Windows… Sure, they share some code, but they are apples and oranges.
Linux gaming will never really take off because first party companies won’t back it. It’s not that Microsoft has a monopoly, it’s that developers choose not to develop for Linux. They have had the option to do so for decades and have chosen not to. Also, companies like Nvidia hate open source stuff, so graphics drivers are usually shoddy at best. Vulcan is a step the the right direction, considering how opengl stagnated for ages, but it won’t be enough to bring people over.
Not many people want to give up using their normal programs, that function great in windows/mac, and be forced into using poor knockoff software clones. Prime example of a program that I currently have open: Zbrush… There is not a in hell that I’d attempt to replace it with anything else. Blender is “alright,” but is still waaaaay to clunky/buggy and has an atrocious UI. This is coming from someone who has used Blender on and off since around 02’ or 03’. Another example: Gimp… Granted, it’s come a long way over the years, but it sure as hell isn’t Photoshop…
If Valve, a company with 10s of millions of REAL steam accounts, failed at promoting Linux with their console thing, it’s probably going to continue to be a flop… Their hardware/software statistics page backs this all up: Linux - 0.81% of all installs.