Comment by guerrilla

They still build POWER infrastructure too, but as far as I know Linux pretty much dominates. You can even buy POWER workstations from third party vendors like Raptor Computing Systems. Very expensive though.