Le nouveau menu de boot arrive sur Raspberry Pi
C’est quand même bien pénible de devoir bidouiller la configuration de son Raspberry Pi à chaque fois qu’on veut booter sur un nouveau périphérique, vous ne trouvez pas ?
Et bien bonne nouvelle, la fondation Raspberry Pi vient d’annoncer une nouveauté qui devrait vous faire sauter de joie : un véritable menu de démarrage digne de ce nom, directement inspiré des BIOS de nos PC !
Souvenez-vous des débuts du Raspberry Pi, quand la seule option était de démarrer sur une carte SD. Une époque pas si lointaine où la flexibilité n’était pas vraiment au rendez-vous. Mais les temps changent, et notre petit ordinateur préféré a bien grandi ! Entre le boot USB sur le Raspberry Pi 4 et le support NVMe sur le Raspberry Pi 5, les possibilités se sont multipliées.
Pour profiter de cette nouveauté, suivez ces étapes simples :
Commencez par mettre à jour votre système :
sudo apt update sudo apt full-upgrade
Vérifiez l’état de votre firmware avec la commande :
sudo rpi-eeprom-update
Si une mise à jour est disponible (indiquée par “UPDATE AVAILABLE”), utilisez l’outil raspi-config :
- Ouvrez raspi-config avec la commande
sudo raspi-config
- Allez dans “Advanced Options” > “Bootloader Version”
- Sélectionnez “Latest”
- Validez et redémarrez
Après le redémarrage, vérifiez que la mise à jour est bien appliquée avec :
sudo rpi-eeprom-update
Cette fois, vous devriez voir “CURRENT: … LATEST: …” avec les mêmes versions, indiquant que votre bootloader est à jour.
Pour accéder au menu de boot, c’est ultra simple : maintenez simplement la touche Espace enfoncée pendant le démarrage. Un écran apparaît alors, listant tous les périphériques de démarrage disponibles : votre carte SD, vos clés USB, votre SSD NVMe si vous en avez un, et même les options de démarrage réseau !
Cette nouvelle fonctionnalité ouvre la porte à des utilisations particulièrement intéressantes : basculer entre plusieurs systèmes d’exploitation en quelques secondes, redémarrer depuis un disque de secours en cas de problème, tester différentes distributions sans modifier votre configuration principale, ou encore configurer des démarrages réseau pour des installations sans disque.
Les enseignants vont particulièrement apprécier cette nouveauté car dans un contexte éducatif, pouvoir facilement basculer entre différentes configurations est un atout majeur. Plus besoin de passer des heures à configurer chaque Raspberry Pi individuellement !
Pour les développeurs aussi, c’est une excellente nouvelle : tester ses applications sur différentes distributions ou configurations devient un jeu d’enfant. Plus besoin de jongler avec plusieurs cartes SD ou de reconfigurer le boot à chaque fois.