Raspberry Pi

Le Raspberry Pi est compatible avec les systèmes d'exploitation GNU/Linux. Certaines distributions se sont spécialisées pour ce matériel spécifique. La liste des systèmes d'exploitation compatibles se trouve sur cette page du site officiel. Mon choix s'est porté vers la Raspbian « Wheezy » qui est une distribution dérivée de Debian que je manipule tous les jours. Il existe également une autre distribution basée sur Arch Linux qui offre des performances équivalentes .

Le système d'exploitation doit être stocké sur une carte SD à insérer dans le lecteur du Raspberry PI. Pour mettre le système Raspbian sur la carte SD, j'ai utilisé mon PC portable sous Ubuntu 12.10 qui dispose d'un lecteur intégré de carte SD. La procédure suivante est donc à adapter selon votre matériel.

On commence donc par télécharger l'image de la dernière version de Raspbian puis on vérifie avec le logiciel sha1sum que l'archive est complète.

$ wget http://files.velocix.com/c1410/images/raspbian/2013-02-09-wheezy-raspbian/2013-02-09-wheezy-raspbian.zip

$ sha1sum 2013-02-09-wheezy-raspbian.zip 
b4375dc9d140e6e48e0406f96dead3601fac6c81  2013-02-09-wheezy-raspbian.zip

La valeur barbare donnée par la commande sha1sum est à comparer avec celle de référence disponible sur la page de téléchargement. Si elles diffèrent alors il ne vous reste plus qu'à recommencer le téléchargement.

On peut ensuite décompresser le fichier pour obtenir l'image disque (2013-02-09-wheezy-raspbian.img dans mon cas) :

$ unzip 2013-02-09-wheezy-raspbian.zip
inflating: 2013-02-09-wheezy-raspbian.img

On commence par insérer la carte dans son lecteur (celui de mon PC portable dans mon cas), puis on utilise la commande df -h pour obtenir le point de montage (/dev/sdb1 dans mon cas) correspondant à la carte SD.

Attention de bien utiliser le point de montage pour éviter de formater votre disque système !!!

Une fois le point de montage identifié, il faut saisir les commandes suivantes (en remplaçant /dev/sdb1 par votre point de montage) :

sudo dd bs=4M if=./2013-02-09-wheezy-raspbian.img of=/dev/sdb

Quelques explications sur cette dernière commande :

• elle doit être lancée avec les droits root (d'où l'utilisation de sudo) ;
• if donne l'emplacement de l'image de Raspbian « Wheezy » ;
• of donne le point de montage racine (égal à votre point de montage sans le nombre final, soit /dev/sdb dans mon cas) ;
• l'exécution va prendre un peu de temps…

Très bien, votre carte contenant l'OS Raspbian « Wheezy » est prête à être utilisée !

Insérez votre carte dans le lecteur SD du Raspberry Pi, branchez un clavier et l'alimentation micro USB et c'est parti !

(source : eLinux)

Au premier démarrage, vous allez avoir droit au lancement automatique de l'utilitaire de configuration Raspi-config qu'il est possible de rappeler par la suite en saisissant la commande suivante dans un terminal :

sudo raspi-config

Raspi-config se présente sous la forme suivante :

Les différentes fonctions permettent de :

• expand_rootfs : étendre la partition principale à la taille maximale de la carte SD (par exemple si vous avez une carte SD de 16 Go et que vous n'utilisez pas cette fonction, alors vous resterez avec une partition principale de 2 Go) ;
• overscan : force l'affichage de marge pour s'adapter à des écrans 16/9 ou supérieur ;
• configurer : le clavier (configure_keyboard), le mot de passe par défaut (raspberry) de l'utilisateur par défaut (pi) (change_pass), votre lieu géographique (change_locale) et le temps (change_timezone) ;
• overclocking: comme Raspberry est une société intelligente, elle autorise l'overclocking de son matériel sans perte de la garantie (mais avec une durée de votre matériel qui risque de diminuer). Fonction à activer si vous voulez utiliser le Raspberry en mode graphique (comme client léger) ou tout autre besoin consommateur de CPU.

On a le choix d'overclocking suivant :

• memory-split : pour définir la quantité de mémoire vive dédiée au GPU (64 Mo par défaut) ;
• ssh : permet de définir si le serveur SSH doit être lancé par défaut ;
• boot_behavor : choisir si on veut démarrer le boîtier en mode texte (utilisation serveur) ou graphique (client léger avec l'environnement OpenBox + LXDE) ;
• Update : qui est en fait un raccourci vers la commande apt-get update && apt-get upgrade et ainsi mettre à jour votre système (qui doit être connecté à Internet).

Sur ces aspects-là, rien de notable, on est dans la norme avec ce type de matériel. Si vous voulez des chiffres pour comparer avec d'autres machines, je vous conseille la lecture de cette page Wiki chez eLinux.

L'interface Ethernet est à la norme FastEthernet (soit un débit théorique maximum de 100 Mbps). Comme le Raspberry Pi n'a pas une capacité de stockage importante, cette vitesse pourra être pénalisante lors de l'accès à vos données stockées sur un NAS ou une autre machine.

Un rapide test avec Iperf montre un débit maximum en TCP de 90 Mbps en entrée et 65 Mbps en sortie. On a donc de bonnes performances pour une interface FastEthernet, en espérant une évolution en Giga pour la prochaine version de Raspberry Pi.

Là où le Raspberry Pi est bluffant, c'est sur les lectures audio et vidéo. En effet, avec les efforts pour adapter XBMC sur ce matériel, on dispose de logiciels permettant sans aucun problème de lire des vidéos H.264 « Full HD ».

Si vous ne souhaitez pas passer par XBMC, vous pouvez utiliser OMXPlayer de la manière suivante :

omxplayer -o hdmi <nomdufichiervideo>

Il est même possible, pour certains besoins spécifiques, d'acheter pour des sommes assez modiques, des licences pour des codecs MPEG-2 ou VC-1.