The lab I used most often ran Compaq Tru64 Unix (previously known as DEC OSF1) on machines with Alpha CPUs... but it was replaced summer 2002 (or maybe 2001) with machines running some Linux distro on Intel CPUs. Also sometimes used a lab with Macs for testing browsers.