Configuration SD et installation d'un Raspberry Pi

Introduction

Le Raspberry Pi est un nano-ordinateur monocarte à processeur ARM très adapté au "digital making". D'un coût très accessible à l'origine (~40 €) et supporté par une communauté Open-Source et de Makers, de nombreux projets ont vu le jour intégrant le Raspi. Par exemple, l'écran tactile de l'AMR Sherpa est piloté par un Raspi. À la fin de 2019, le total des ventes du Raspi atteint 30 millions d'unités. Les crises du Covid et des Semi-Conducteurs provoquent cependant une augmentation spectaculaire des tarifs (x3 à x4) ou alors des délais de livraison à 6 mois pour des tarifs "classiques" ...

Avis perso :

• Les Raspberry Pi sont d'excellents outils pour l'apprentissage aux systèmes avec un Linux embarqué. Ils permettent de bénéficier de l'éco-système Linux ainsi que de la communauté associée au projet.

• Il est à noter que les tarifs ont augmenté à chaque génération passant de 30€ pour la Pi 1 à plus de 100€ pour la Pi4 avec 8Go de Ram, sans oublier l'ajout d'une alimentation USB-C, de la carte SD, d'un boîtier etc. À ce tarif, on se rapproche des PC portables ou des Intel Nuc d'occasion.

• Pour des problématiques de type IA, les cartes JETSON sont une excellente alternative aux Raspberry.

Préparation de la carte SD

Pour créer une carte SD bootable sur le Raspberry pi, il faut dans un premier temps formater la carte. Trois cas de figure peuvent se présenter

• Vous utilisez une carte SD neuve -> vous pouvez sauter l'étape de formatage avancé et passer à l'installation de l'OS.
• Vous utilisez une carte SD formatée en FAT32 ou NTFS et windows lit la taille complète de la carte -> il suffit de faire un clic droit et de formater la carte en FAT32 -> vous pouvez sauter l'étape de formatage avancé et passer à l'installation de l'OS.
• Vous utilisez une ancienne carte SD, formatée pour un Raspberry Pi mais vous souhaitez réaliser la mise à jour, suivez la procédure de formatage avancée

Formatage avancé de la carte SD

Avec l'outil Gestion de l'Ordinateur, dans Stockage - Gestion des disques, voit apparaître la partition de la carte SD (256 Mo en Fat 32 lisible par Windows) et (29,47 Go en EXT4, pas visible par Windows). Il faudra dans un premier temps supprimer ces partitions, créer un nouveau volume, et le formater.

Attention

Attention, si vous supprimez un volume/partition sur votre disque dur système, vous êtes bon pour réinstaller votre PC! Vérifier 2x avant de vous lancer !

Attention

Avant d'appuyer sur OUI, on vérifie !

Maintenant que les anciennes partitions de la carte SD sont supprimées, on peut créer un nouveau volume avec un clic droit, créer un nouveau volume :

Pour le formatage, choisir FAT32, pour le nom de Volume, j'ai choisi Raspi.

On vérifie que le formatage et le nom de volume est correctement associé (on est OK pour l'étape suivante)

Installation de l'OS

On télécharge sur le site Raspberry Pi Imager le logiciel Raspberry Pi Imager

Dans le choix de l'OS, j'ai choisi la version avec Desktop en 32 Bits. Il faut savoir que le Raspberry Pi 4 est compatible 64 Bits, mais certain logiciels comme CodeSys que nous utiliserons ne le sont pas à ce jour.

Pour le Choose Storage, vérifier qu'il s'agisse bien de la carte SD! Si vous formatez votre clé USB, vous perdrez les données. Cliquer sur la petite roue crantée pour parémétrer la configuration de l'OS.

• On autorise un lien SSH en cliquant Enable SSH

• On crée un utilisateur avec son mot de passe (ici le user est pi et le mdp est 3.14)
• Dans Set Locals, on choisit le Layout FR pour le clavier

On vérifie qu'on est bien sur la carte SD et l'on fait Write

Serveur DHCP et SSH

On met la carte SD dans le Raspberry Pi éteint, ensuite on l'alimente avec le câble USB-C. Le Raspberry Pi se connecte de base sur un serveur DHCP pour récupérer une adresse IP. L'idéal est de faire ce premier démarrage sur votre BOX. Il suffit alors de se connecter sur la box pour voir l'adresse IP qui a été affectée au port Ethernet (ici 192.168.1.15)

Il existe cependant deux autres solutions pour se passer de Box pour affecter une adresse IP au port Ethernet

• On branche un écran, un clavier, une souris sur le Raspi et l'on configure le port Ethernet depuis l'interface graphique
• On change directement un fichier de configuration pour figer une adresse IP Statique. Cela nécessite d'avoir un PC sous Linux avec un lecteur de carte SD.

Pour avoir accès au terminal Linux du Raspi depuis un PC portable et sans avoir à brancher un écran/clavier/souris, le plus rapide est de passer par une communication SSH. Un client SSH comme Putty est installé sur les postes de l'IUT:

On accepte la clé de cryptage (Accept) et l'on arrive sur le terminal Linux du Raspberry Pi depuis son PC portable. L'inconvénient, c'est qu'il ne s'agit d'une interface texte, moins conviviale qu'une interface graphique. Nous verrons dans un autre article comment se connecter sur l'interface graphique à distance avec Remote Desktop ou VNC

On peut lancer la commande de mise à jour des paquets de la distribution linux en faisant : sudo apt update

L'upgrade de la distribution se fait en faisant : sudo apt upgrade (Cliquer sur Y pour valider l'upgrade)

Votre Raspberry Pi est maintenant à jour, nous pouvons y déployer le Remote Desktop et le VNC pour simplifier sa programmation.

Bureau à distance / Remote Desktop

Un des outils de base installé sur Windows est le bureau à distance (Remote Desktop).

Installation d'XRDP sur le Raspi

Pour que le bureau à distance du Raspberry Pi soit disponible depuis Windows, il est nécessaire d'installer le paquet xrdp. Depuis un terminal sur le Raspberry Pi ou depuis une liaison SSH faire sudo apt install xrdp (Y pour valider l'installation)

et depuis la version BullsEye d'avril 2022 du Raspberry Pi, cela ne fonctionne plus correctement avec le user pi qui possède les droits admin sur la carte.

Bug xrdp

C'est un bug sur la distribution BullsEye et le contournement trouvé et de retirer certains groupes au user pi.

Classiquement, le user pi appartient aux groupes suivants :

Il faut retirer les groupes render et video du user pi pour que le bureau à distance fonctionne. Cela a pour conséquence d'introduire des effets de bords sur certains logiciels qui ne vont peut être plus fonctionner. Pour développer des scripts python, ou faire du CodeSys, cela n'a pas d'influence. Pour retirer les deux groupes :

   sudo gpasswd -d video pi
   sudo gpasswd -d render pi

• on fait un reboot pour activer les modifications: sudo reboot
• (pour faire un shutdown: sudo shutdown -h now)

Remote Desktop sur Windows

Nous pouvons maintenant utiliser l'outil de connexion de bureau à distance :

• L'adresse IP correspond à l'adresse statique ou DHCP du Raspberry Pi

Et l'on accède à distance au bureau du Raspberry Pi:

Contrairement à la liaison SSH, on peut profiter de l'ergonomie offerte par l'interface graphique du Raspberry Pi. Les puristes se contenteront de la liaison SSH :wink:

• L'avantage de cette méthode est le gain de temps, pas d'écran à installer, ni clavier/souris, ce qui constitue également un gain d'espace.
• On restera attentif au fait que nous avons retiré les groupes render et video du user pi.
• La connexion bureau à distance est un outil standard Windows installé de base avec Windows 10. La communauté Open Source préfère l'outil VNC pour faire des liaisons d'un poste de développement Linux vers le Raspberry Pi (sous Linux également). Sous Linux, les clients VNC sont libres, mais sous Windows, le client VNC le plus utilisé est gratuit mais pas libre (VNC Viewer de RealVNC)

VNC sur Raspberry Pi

Activation du serveur VNC sur le Raspi

Depuis un terminal ou une liaison SSH:

• lancer la commande : sudo raspi-config

Il faut dans un premier activer le serveur VNC sur le Raspberry Pi

• Interface Options -> Enable graphical remote access using RealVNC

On peut régler la résolution du serveur VNC dans Display Option -> Set resolution for headless use

• A choisir en fonction de la résolution de l'écran sur lequel on développe (la résolution du VNC doit être plus petite que celle de l'écran)

Lorsque l'on valide les modifications, un reboot du Raspi se fait automatiquement.

Client VNC Windows

Le client VNC le plus facile à mettre en oeuvre est VNC Viewer Client RealVNC VNC Viewer

On place l'adresse IP du Raspberry PI et l'on appuie sur Entrée. (Ne pas cliquer sur Ouvrir une session)

On renseigne :

• le user : pi
• le mdp : 3.14 (si c'est votre mdp)

On arrive sur le bureau, il faut à nouveau se loger avec le bon mdp (3.14)

Conclusion

Dans le développement en embarqué, il y a l'école :

• SSH : tout en ligne de commande (les puristes)
• Bureau distant : on profite de l'interface graphique. Ce n'est pas toujours nécessaire, mais c'est rassurant quand on débute (les pragmatiques)

Pour les bureaux distants :

• XRDP possède l'avantage d'avoir le client bureau distant installé sur chaque PC Windows, ce qui est pratique quand on ne peut pas installer des logiciels sur le poste école. Dommage pour ce bug sur la version BullsEye du Raspberry Pi qui nécessite de modifier les groupes du user pi. Les forums de support préconisent VNC.
• VNC fait partie de l'écosystème Linux, mais paradoxalement, le client Windows n'est pas libre bien que gratuit.