Identify This OS at Pixar:

Via the most recent On The Verge

http://www.theverge.com/2013/6/21/4451880/on-the-verge-google-x-and-a-trip-to-pixar#ooid=Y0OHdvYzosKX5kQiG3HdAg6FZErFIeTs&ootime=21m20s

https://www.dropbox.com/sh/2tsxola24e8xtqq/5-9hX5PpNX

(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