Instalação
Tal como referimos na seção sobre a anatomia do Raspberry Pi, este micro-computador não tem BIOS nem armazenamento persistente e depende funcionalmente do cartão de memória SD para operar qualquer sistema operativo.
Existem vários sistemas operativos disponíveis para o Raspberry Pi, no entanto, o Raspbian parece-nos o mais indicado para utilizarmos com os nossos alunos, uma vez que, é um sistema estável, atualizado periodicamente e com bastante suporte pela comunidade on-line.
Este sistema operativo traz por padrão o ambiente desktop LXDE com o gestor de janelas Openbox, o browser Midori e diversas ferramentas de programação como o Scratch ou o Python.
Descarregar o Raspbian
O download do Raspbian pode ser efetuado no site oficial do Raspberry Pi, sendo que a imagem [2013-02-09-wheezy-raspbian] que utilizamos durante este projeto ocupa cerca de 470Mb.
Relembramos que para colocar o Raspbian no cartão SD não basta copiar o ficheiro ZIP que transferiu anteriormente. O download efetuado contém a imagem do sistema operativo que deve constar no cartão, daí que seja necessário passá-la para o SD, com uma ferramenta própria e não através do método copy-and-paste. Realçamos também, que é necessário extrair o ficheiro .img que consta no ficheiro transferido, antes de utilizar qualquer uma das seguintes ferramentas que mencionamos.
Colocar o Raspbian no cartão SD
Windows
Colocar o sistema operativo no cartão SD através do Windows é uma tarefa muito simples. O mais conveniente é usar o utilitário Win32DiskImager, que permite através do seu interface escolher a imagem e enviá-la para o cartão SD.
OS X
Em ambientes com OS X é possível efetuar a transferência através da linha de comandos no Terminal, no entanto, aconselhamos para os menos experientes, a colocação no cartão através de um utilitário para o efeito designado por Pi Filler.
Linux
Em sistemas operativos baseados em Linux poderá transferir a imagem do Raspbian para o cartão SD através dos seguintes comandos:
unzip 2013-02-09-wheezy-raspbian.zip (extrair a imagem do ficheiro ZIP)
df -h (executar este comando após introduzir o cartão no computador e verificar qual o nome do cartão)
sudo dd bs=1M if=2013-02-09-wheezy-raspbian.img of=/dev/sdc (transfer a imagem para o cartão designado por sdc)
Agora que o Raspbian já está no cartão é necessário inicializar o Raspberry Pi pela primeira vez.