I think it was PS3 that shipped with "Other OS" functionality, and were sold a little cheaper than production costs would indicate, to make it up on games.
Only thing is, a bunch of institutions discovered you could order a pallet of PS3's, set up Linux, and have a pretty skookum cluster for cheap.
I'm pretty sure Sony dropped "Other OS" not because of vague concerns of piracy, but because they were effectively subsidizing supercomputers.
Don't know if any of those PS3 clusters made it onto Top500.
In November 2010, the Air Force Research Laboratory created a powerful supercomputer, nicknamed the "Condor Cluster", by connecting together 1,760 consoles with 168 GPUs and 84 coordinating servers in a parallel array capable of 500 trillion floating-point operations per second (500 TFLOPS). As built, the Condor Cluster was the 33rd largest supercomputer in the world and was used to analyze high definition satellite imagery at a cost of only one tenth that of a traditional supercomputer.
Makes me think how PS2 had export restrictions because "its graphics chip is sufficiently powerful to control missiles equipped with terrain reading navigation systems"
I remember when 128 but SSL Encryption was export restricted in the mid 90's. When I first opened an online banking account, the Bank sent a CD with a customized version of Netscape Navigator with 128 bit SSL, and the bank logo in place of the Netscape N.
Apple had its current desktop environment for it's proprietary ecosystem built on BSD with their own twist while supercomputers are typically multiuser parallel computing beats, so I'd say it is really fucking surprising. Pretty and responsive desktop environments and breathtaking number crunchers are the polar opposites of a product. Fuck me, you'll find UNIX roots in Windows NT but my flabbers would be ghasted if Deep Blue had dropped a Blue Screen.