Linux
Linux é o kernel - componente de um sistema operacional responsável por fazer a comunicação entre hardware e software - de todas as distribuições Linux; porém, é comum chamar as próprias distros de "Linux".
Seu código é aberto, ou seja, qualquer um pode ver como a coisa toda funciona, e fazer as alterações que quiser, desde que siga a licença GPLv2. Seu desenvolvimento é feito por uma comunidade internacional de colaboradores, assim como ocorre com a comunidade científica, em algum aspecto.
Nos PCs da sala de computação está instalada a distribuição Arch Linux.
Algumas das distribuições mais usadas são Debian, Ubuntu, Linux Mint, Slackware e Fedora. Todas livres e grátis.
Mascote
Como todos sabem, o mascote do Linux é um penguim, conhecido como Tux. O que nem todos sabem é que Linus Torvalds, criador do Linux, teve a inspiração que o levou a escolher esse mascote ao ser atacado bicado por um penguim, em um zoológico na Austrália.