Trivial question but as title says, I'm just curious which distro airline company's entertainment/info systems use. I found a couple of pictures of United Airlines, which clearly shows Linux' penguin but I just can't figure out which distro.
http://www.flickr.com/photos/bathsmusic/5147456280/
http://goo.gl/Qt7yG
All I can guess is it's neither Ubuntu nor openSUSE (since I've never seen in recent few years of my linux life with them).
Also if anybody can tell which one, then how do you know?
Thanks.