If you’re a fan of Linux, you might have seen “Tux,” the friendly penguin mascot for the operating system. But why a penguin, and why Tux? We’ll explore the history behind the semi-aquatic bird mascot with a little help from Linus Torvalds, the creator of Linux himself.