The system went live in 1993 so what distro would they have chosen in ~1990, when the system choice was made and is that distro still around? How many ports would they have had to make over the ensuing years.

I love Linux and use it everyday but it would have been a poor choice in 1990 and some would argue would still be a poor choice today given other industrial OS-es on the market.