Workstation hardware of Sgi known to be supported by T2/Linux