Identify This OS at Pixar:

Via the most recent On The Verge

(Apparently I don't know how to import media in The Verge forums)

A bit of Googling leads me to believe it's Red Hat... is it? I find it pretty awesome that they're running Linux boxes despite Steve Jobs' influence