A penguin called Tux is the Linux mascot