Tuto : comment booter depuis une clé USB ou un SSD avec un Raspberry Pi 4 ?

Matthieu Legouge
Spécialiste Hardware
26 mai 2020 à 11h11
7

C'est officiel, le Raspberry Pi 4 peut désormais booter depuis un support de stockage USB grâce à la dernière mise à jour de son firmware.

Dites au revoir à votre carte SD


Pour le moment disponible en version beta, cette mise à jour nécessite une installation manuelle en attendant un déploiement à plus grande échelle.

Si vous faites partie des utilisateurs désireux de tirer profit de l'USB Bootloader, le processus de mise à jour est relativement simple à exécuter. On vous a malgré tout maché le travail, avec ci-dessous, un petit tutoriel qui vous guide efficacement pour booter depuis votre périphérique USB.

Jusque-là, il était possible d'exécuter un système d'exploitation situé sur un périphérique USB, mais la carte SD restait toutefois indispensable pour initier le boot.

Si le démarrage via une clé USB n'apporte aucun gain en performance, ce n'est cependant pas le cas des disques SSD. Ces supports de stockage peuvent augmenter significativement les performances de votre mini-machine pour de nombreuses tâches, en comparaison d'une carte SD.

Raspberry Pi 4 : booter depuis un périphérique USB

Pour profiter de cette fonctionnalité pour le moins attendue, il suffit de mettre à jour le firmware du Pi 4.

Naturellement, il est nécessaire dans un premier temps de booter sur votre carte microSD habituelle. La marche à suivre ici est réalisée sous Raspbian.

1. Démarrez le Raspberry Pi puis vérifier que votre système d'exploitation est bien à jour. Pour cela, il suffit d'entrer les deux commandes suivantes au sein du terminal :

sudo apt update

sudo apt full-upgrade

2. Entrez la commande qui suit afin d'éditer le fichier /etc/default/rpi-eeprom-update en sélectionnant la valeur "BETA" :

sudo nano /etc/default/rpi-eeprom-update

3. Installez maintenant la mise à jour beta en entrant la commande suivante :

sudo rpi-eeprom-update -d -f /lib/firmware/raspberrypi/bootloader/beta/pieeprom-2020-05-15.bin

Notons ici qu'une version plus récente peut être disponible. Pour s'en assurer et si jamais la mise à jour échoue, consultez le répertoire /lib/firmware/raspberrypi/bootloader.

4. Ne reste plus qu'à rebooter votre Raspberry Pi pour que la mise à jour de l'eeprom soit effective. Par défaut, il va tenter de démarrer sur votre périphérique USB mais il est nécessaire de le configurer lui aussi avant toute chose.

5. Après avoir redémarré le Pi, assurez-vous de la bonne réussite de la mise à jour, en entrant :

vcgencmd bootloader_version

6. Copiez ou installez un système d'exploitation sur votre périphérique USB.

  • Au choix, vous pouvez copier l'OS actuellement installé sur votre carte SD à l'aide de l'outil SD Card Copier, accessible depuis le menu "Accessoires" de Raspbian, ou simplement en déployer un nouveau avec un utilitaire comme Raspberry Pi Imager ou balenaEtcher.


7. Pour terminer, il est nécessaire de mettre à jour les fichiers *.elf et *.dat de la partition de démarrage du lecteur USB. Ces fichiers sont à télécharger sur GitHub, en suivant ce lien.

  • Copiez les fichiers téléchargés sur votre lecteur USB, celui-ci vous demandera alors d'écraser les fichiers existants. Dans cet exemple, nous copions les fichiers sur le périphérique USB via un PC, mais il est tout à fait possible de réaliser cette opération sans avoir à éteindre le Pi, en utilisant la commande mount, en copiant le répertoire boot de la carte microSD vers celui de l'USB, puis en mettant ensuite ces fichiers à jour.


Vous pouvez maintenant éteindre le Pi 4 et retirez la carte microSD. Le prochain démarrage devrait maintenant booter sur votre périphérique USB.

Dans le cas où vous avez recours à un disque SSD externe, n'oubliez pas que dans certaines situations une alimentation dédiée peut s'avérer utile.

Pour en savoir plus et prendre connaissance de l'intégralité des options de configuration du bootloader, consultez la page référence du site officiel raspberrypi.org, indiquée en source de ce tutoriel.

Source : Raspberrypi.org

Soyez toujours courtois dans vos commentaires
et respectez le réglement de la communauté.
7
5
Voir tous les messages sur le forum

Actualités récentes

Test Philips 55OLED855 : un écran OLED très fin pour une image profonde
Soldes Amazon : moins de 40€ pour ce SSD interne PNY M.2 NVMe de 250Go
Soldes : l'excellent Realme 6 dans sa version 64 Go est moins cher chez Cdiscount
Soldes Cdiscount : l'imprimante HP DeskJet 2710 à prix bradé
Soldes : ce pack Amazon Nouvel Echo Dot + Kit de démarrage Philips Hue à prix choc
Ce trieur de LEGO automatique fondé sur Raspberry Pi est certainement l'invention la plus geek possible
Le Samsung Galaxy A42 5G disponible à moins de 350€ pour les Soldes
Chute de prix pour le SSD SanDisk Ultra 2To pour les Soldes Amazon
Soldes Amazon et Cdiscount : les meilleurs bons plans du week-end
Soldes : 2 trottinettes électriques Xiaomi au meilleur prix chez Cdiscount et Amazon
Haut de page