If I'm not mistaken, NASA uses a lot of Sun Microsystem workstations running Solaris.