Comment installer un dual boot sur Raspberry Pi avec PINN ?

Vous voulez garder Raspberry Pi OS, LibreELEC, RetroPie ou DietPi sur la même carte SD ? Plus besoin de jongler avec plusieurs cartes. J’utilise un setup dual boot pour tester différentes distributions, et ça me fait gagner un temps fou. Voici comment faire.

PINN est aujourd’hui la solution la plus simple pour faire du dual boot sur Raspberry Pi. Il installe plusieurs systèmes d’exploitation sur la même carte SD et ajoute un menu de démarrage pour choisir le système au lancement.

Envie d’essayer ? On va voir ensemble comment configurer PINN étape par étape, pour installer plusieurs systèmes sur la même carte SD et basculer de l’un à l’autre à chaque redémarrage.

Si vous débutez avec Raspberry Pi ou Linux, j’ai quelque chose qui peut vous aider !
Téléchargez ma fiche mémo des commandes Linux gratuitement – c’est un guide de référence rapide avec toutes les commandes essentielles dont vous aurez besoin utiliser votre Raspberry Pi. Cliquez ici pour l’obtenir gratuitement !

Introduction au dual boot sur Raspberry Pi

Petit rappel rapide sur ce qu’est le dual boot et pourquoi ça peut être utile sur un Raspberry Pi.

C’est quoi le dual boot ?

Le dual boot, c’est simplement avoir deux systèmes d’exploitation différents sur le même ordinateur.
Par exemple, on peut l’utiliser pour avoir Windows et Linux sur le même PC.

Sur un PC, vous pouvez avoir Windows et Linux installés côte à côte, et choisir lequel démarrer à chaque allumage via un menu. Ça fonctionne grâce à des partitions séparées pour chaque système, et un petit outil sur le premier secteur du disque dur qui vous demande quelle partition charger.

Sur un Raspberry Pi, l’intérêt du multi-boot c’est qu’il existe plein de distributions Linux vraiment utiles. Le principe reste le même : on installe plusieurs systèmes sur la carte SD et on choisit lequel démarrer à chaque fois.

Pour passer d’un système à l’autre, il suffit de redémarrer le Raspberry Pi et d’en sélectionner un autre dans le menu de démarrage.

Pourquoi passer au multi-boot ?

Le multi-boot devient intéressant quand on utilise son Raspberry Pi pour des usages très différents.
Par exemple, on peut tout à fait installer ces trois systèmes en même temps sur une seule carte SD :

• Raspberry Pi OS Lite : pour des services de base, comme un serveur web, une box torrent ou autre chose.
• OSMC : pour regarder des vidéos (en local ou via Netflix/Youtube) et écouter de la musique.
• Lakka ou Retropie : pour jouer de temps en temps, sans perdre toutes ses ROMs et ses données à chaque fois.

C’est juste un exemple, mais les combinaisons possibles sont nombreuses selon vos besoins.

Ce qu’il faut pour faire du multi-boot

Pas besoin de grand-chose. En gros, on installe deux systèmes ou plus sur la même carte SD. Le matériel utilisé n’a pas vraiment d’importance.

La seule chose à bien anticiper, c’est le choix de la carte SD. Prenez le temps d’y réfléchir avant de vous lancer.

Si vous prenez une carte trop petite, vous risquez de devoir tout recommencer. Pensez à tout ce que vous allez stocker : téléchargements GitHub, films, musique pour OSMC, ROMs de jeux… De combien d’espace avez-vous vraiment besoin ?

Je recommande de partir sur la plus grande carte SD que vous avez, idéalement 64 Go ou plus.
Si vous devez en acheter une, j’ai testé la plupart des marques et modèles ici. Jetez un œil à mes benchmarks pour choisir la meilleure (les prix ne varient pas beaucoup d’un modèle à l’autre).

Comment faire du dual boot avec PINN sur Raspberry Pi

On attaque avec la méthode la plus accessible pour mettre en place un dual boot (ou plus) sur Raspberry Pi : PINN.

Voici les étapes à suivre :

• Télécharger PINN depuis Sourceforge.
• Formater une carte SD et créer une nouvelle partition (1 Go).
• Copier les fichiers PINN sur la carte SD.
• Démarrer et suivre l’assistant pour installer plusieurs systèmes sur la même carte SD.

On va tout détailler maintenant.

C’est quoi PINN ?

PINN est une version améliorée de NOOBS, l’installeur que la Raspberry Pi Foundation fournissait autrefois avec les nouveaux modèles pour simplifier l’installation des systèmes. Depuis l’arrivée de Raspberry Pi Imager, NOOBS a disparu, mais PINN est toujours là.

Pour le multi-boot, PINN est probablement le meilleur outil disponible. Il permet de choisir les systèmes à installer depuis une liste, puis les télécharge et les installe dans des partitions séparées sur la carte SD.

Pour plus de détails, vous pouvez consulter leur projet GitHub.

Flasher PINN sur une carte SD

Assez de théorie, on passe à la pratique. Le moyen le plus simple d’installer PINN sur votre Raspberry Pi, c’est d’utiliser Raspberry Pi Imager. (C’est un logiciel officiel, téléchargeable gratuitement ici.)

Voici comment flasher PINN sur la carte SD :

• Lancez Raspberry Pi Imager et faites les sélections suivantes.
• Device – Choisissez le modèle de Raspberry Pi que vous allez utiliser.
• OS – Faites défiler jusqu’à Misc utility images.
  Sélectionnez PINN dans la liste.
• Choisissez la version de l’image souhaitée.
  
  Les images plus anciennes en haut de la liste sont des versions stables, recommandées pour le Pi 4 et les modèles antérieurs.
  Le choix en bas est une version bêta, recommandée pour le Pi 5 et les modèles plus récents.
• Storage – Insérez votre carte SD (ou clé USB) et sélectionnez-la dans la liste.
• Writing – Cliquez sur le bouton WRITE pour lancer le flashage.
  

Imager va créer et formater toutes les partitions automatiquement, ce qui est bien plus pratique que de le faire à la main. C’est assez rapide, et votre carte SD est prête pour le Raspberry Pi.

Installer les systèmes d’exploitation

Insérez la carte SD dans le Raspberry Pi et démarrez-le.
Après quelques secondes, l’interface PINN devrait apparaître.

Configurer la connexion internet

Comme les systèmes doivent être téléchargés, une connexion internet est indispensable.
– Si vous utilisez une connexion filaire, ça devrait fonctionner automatiquement. Passez directement à la suite.
– Si vous êtes en Wi-Fi, suivez les étapes ci-dessous.

Voici comment configurer une connexion sans fil pour PINN :

• Cliquez sur Close pour fermer le message d’erreur.
• Utilisez les menus déroulants en bas pour changer la langue et la disposition du clavier.
  C’est important, car ça influence la saisie des mots de passe.
  
• PINN va scanner et afficher la liste des réseaux sans fil disponibles.
• Sélectionnez votre réseau Wi-Fi.
• Entrez votre mot de passe et cliquez sur OK.

Une fois connecté, le menu principal apparaît.

Le menu PINN

Le menu principal affiche de nombreux systèmes d’exploitation. Ça ressemble à ça :

Vous avez accès à pas mal d’options, notamment :

• Raspberry Pi OS : versions Standard, Lite et Full disponibles.
• Twister OS : une version améliorée de RPI OS pour une utilisation desktop.
• Ubuntu ou Ubuntu Mate
• Android (Lineage)
• Batocera : système de retro gaming.
• Kali Linux : système dédié au pentesting.
• DietPi : une distro légère et minimaliste.
• Partition de données : une partition libre de 512 Mo pour stocker des données ou l’utiliser plus tard. Pratique aussi pour partager des fichiers entre plusieurs systèmes dans un espace dédié.
• LibreElec : système léger pour media center.
• OSMC : système media center.
• Volumio : lecteur de musique en streaming.

Il y a en réalité trop de systèmes disponibles pour que je les liste tous ici, et la liste évolue régulièrement. Je vous recommande de parcourir les menus directement pour voir ce que propose la dernière version.

Petit conseil : PINN ne permet pas d’ajouter un système qui ne figure pas dans sa liste par défaut. Si vous avez besoin d’installer un OS non supporté, il faudra probablement passer par une autre méthode.

Sélectionner les systèmes

L’objectif maintenant, c’est de créer un dual boot (ou multi-boot) sur la carte SD.
Cochez chaque système que vous voulez installer.

L’espace requis se met à jour en temps réel sous le menu.
Gardez un œil dessus si votre carte SD fait moins de 30 Go.
Si vous préférez stocker tout ça sur une clé USB, vous pouvez aussi changer le périphérique de destination ici.

Une fois votre sélection faite, cliquez sur le bouton « Install » dans le menu du haut.
Confirmez le message (attention, ça va effacer tout ce qu’il y a sur la carte SD).

Vous pourrez ensuite ajuster l’espace total à allouer à chaque système.
Donnez à chacun suffisamment de place pour fonctionner correctement.

Une fois confirmé, l’installation démarre vraiment.
Comptez quelques minutes à quelques heures selon votre connexion internet.

Tester le dual boot

Au premier démarrage, un menu apparaît pour choisir quel système charger.
Ça ressemble à ça :

Mettez en surbrillance l’OS souhaité (sans cocher la case), puis cliquez sur BOOT pour le lancer.
Vous pouvez changer ce choix à chaque démarrage, sans perdre vos données.

Au prochain redémarrage, ce menu de démarrage réapparaîtra.
Il reste affiché 10 secondes, puis charge automatiquement le dernier OS utilisé.
Donc si vous utilisez souvent le même système, pas besoin de choisir à chaque fois.

(Pour changer le comportement de démarrage par défaut, voir la FAQ ci-dessous.)

Les limites de PINN

Comme vous l’avez vu, la liste des systèmes disponibles est déjà bien fournie, mais elle n’est pas exhaustive. Si vous voulez installer un système plus « exotique », ce n’est pas possible nativement avec PINN.

On peut probablement ajouter d’autres partitions manuellement et y installer un système soi-même, mais ce n’est pas vraiment l’approche simple que cet article cherche à couvrir.

Voilà, vous savez maintenant comment faire du dual boot (ou multi-boot) sur votre Raspberry Pi !

Selon vos besoins, PINN est la solution idéale pour les débutants et les distributions les plus courantes. Les utilisateurs plus expérimentés pourront se tourner vers d’autres approches, comme l’installation de VMWare ESXi pour faire tourner des machines virtuelles sur le Raspberry Pi (en anglais).

Si vous voulez découvrir d’autres distributions que Raspberry Pi OS, jetez un œil à mon article sur les meilleurs systèmes d’exploitation pour Raspberry Pi.

Questions fréquentes

Peut-on ajouter un système plus tard avec PINN ?

Oui, c’est possible. Au démarrage, maintenez la touche Shift enfoncée pour accéder au mode Recovery et retrouver le même menu d’installation. Vous pouvez alors cocher un autre OS à installer, exactement comme lors de la première installation.

Comment choisir quel OS démarre par défaut avec PINN ?

Par défaut, PINN redémarre automatiquement sur le dernier OS utilisé.
Si vous voulez définir un OS par défaut fixe, vous pouvez le faire depuis le menu de démarrage :

• Déplacer un choix vers le haut ou le bas ne change que l’affichage de la liste.
  Ça ne modifie pas du tout le comportement au démarrage.
• Pour démarrer un OS par défaut, cochez sa case.
  Ça remplace le comportement normal et définit cet OS comme le choix fixe au démarrage.

Définir un OS par défaut fait sauter le menu PINN. Donc si vous devez changer manuellement le système chargé, il faudra cliquer sur la souris ou appuyer sur SHIFT pour faire réapparaître ce menu.

Comment redimensionner les partitions créées par PINN ?

Malheureusement, il n’existe pas de moyen automatique de le faire. Raspi-config ne gère pas les partitions PINN, et aucun menu dans PINN ne propose cette fonctionnalité directement. Donc si vous voulez donner plus d’espace à un système, il faudra le faire manuellement, et ce ne sera pas simple.

Voici à quoi ressemble ma carte SD après avoir installé presque tous les systèmes disponibles. Si je veux agrandir la partition de Lakka par exemple, je dois identifier quelle partition lui correspond, puis déplacer toutes les autres pour libérer de l’espace.

Pas sûr que je m’y risque 🙂 Vous trouverez des infos utiles sur la gestion des partitions par PINN sur cette page GitHub.

Peut-on installer un OS qui n’est pas disponible dans PINN ?

Non, PINN ne permet pas d’installer des systèmes qui ne figurent pas dans sa liste par défaut.

Si vous avez besoin d’installer un OS non supporté, vous pouvez essayer d’utiliser BerryBoot à la place.

Ressources supplémentaires pour votre Raspberry Pi

Initiation au Raspberry Pi en vidéo
Si vous débutez et voulez passer rapidement à la vitesse supérieure, j’ai exactement ce qu’il vous faut.
Regardez ma formation vidéo qui vous aidera à démarrer du bon bien, choisir votre matériel, installer les meilleures applications et vous lancer directement dans vos premiers projets avec mon aide.
Regarder les vidéos dès maintenant

Maîtrisez votre Raspberry Pi en 30 jours
Vous avez besoin de plus ? Si vous êtes à la recherche des meilleures astuces pour devenir expert sur Raspberry Pi, ce livre est fait pour vous. Développez vos compétences sous Linux et pratiquez via de nombreux projets en suivant mes guides étape par étape. 10% de remise aujourd’hui !
Télécharger le livre au format PDF ici

Maîtrisez Python sur Raspberry Pi
Pas besoin d’être un génie pour coder quelques lignes pour votre Raspberry Pi.
Je vous apprends juste ce qu’il faut sur Python afin de réaliser n’importe quel projet. La seconde partie du livre est d’ailleurs consacrée à des exemples de projets où je vous guide pas à pas.
Ne perdez pas de temps, apprenez le strict nécessaire et économisez 10% avec ce lien :
Télécharger maintenant

Autres ressources pour profiter de votre Raspberry Pi
J’ai regroupé toutes mes recommandations de logiciels, sites utiles et de matériel sur cette page de ressources. Je vous invite à la consulter régulièrement pour faire les bons choix et rester à jour.
Visiter les pages ressources