Si vous avez déjà utilisé un appareil Raspberry Pi, vous savez probablement déjà qu'il recommande une distribution Linux appelée Raspbian.
Raspbian est une forme fortement personnalisée de Debian pour fonctionner sur des processeurs ARM de faible puissance. Ce n'est pas mal. En fait, c'est un excellent système d'exploitation pour les appareils Raspberry Pi, mais ce n'est pas la vraie Debian.
Les puristes de Debian comme moi préféreraient exécuter Debian plutôt que d'installer la version Debian personnalisée de Raspberry Pi. Je fais plus confiance à Debian qu'à toute autre distribution pour me fournir une grande quantité de paquets de logiciels libres correctement vérifiés. De plus, un projet comme celui-ci aiderait également d'autres appareils ARM.
Par-dessus tout, faire fonctionner la Debian officielle sur Raspberry Pi est une sorte de défi et j'aime ces défis.
Je ne suis pas le seul à penser ainsi. De nombreux autres utilisateurs de Debian partagent le même sentiment et c'est pourquoi il existe un projet en cours pour créer une image Debian pour Raspberry Pi.
Il y a environ deux mois et demi, un développeur Debian (DD) nommé Gunnar Wolf a repris ce projet non officiel de génération d'images Raspberry Pi.
Je vais vous montrer rapidement comment installer cette image d'aperçu Raspberry Pi Debian Buster sur vos appareils Raspberry Pi 3 (ou supérieur).
Obtenir Debian sur Raspberry Pi [Pour les experts]
Avertissement
Sachez que cette image Debian est très brute et non prise en charge pour le moment. Bien qu'il soit très nouveau, je pense que les utilisateurs expérimentés de Raspberry Pi et Debian devraient pouvoir l'utiliser.
Maintenant, en ce qui concerne Debian, voici l'image Debian et les instructions que vous pouvez utiliser pour mettre l'image de stock Debian sur votre Raspberry pi 3 Model B+.
Étape 1 :Téléchargez l'image Debian Raspberry Pi Buster
Vous pouvez télécharger les images d'aperçu à l'aide de la commande wget :
wget https://people.debian.org/~gwolf/raspberrypi3/20190206/20190206-raspberry-pi-3-buster-PREVIEW.img.xz
Étape 2 :Vérifier la somme de contrôle (facultatif)
C'est facultatif mais vous devez vérifier la somme de contrôle. Vous pouvez le faire en téléchargeant le fichier de hachage SHA256, puis en le comparant avec celui de l'image Raspberry Pi Debian téléchargée.
De mon côté, j'avais déplacé à la fois le fichier .sha256 en tant que img.xz dans un répertoire pour faciliter la vérification bien que ce ne soit pas nécessaire.
wget https://people.debian.org/~gwolf/raspberrypi3/20190206/20190206-raspberry-pi-3-buster-PREVIEW.img.xz.sha256
sha256sum -c 20190206-raspberry-pi-3-buster-PREVIEW.img.xz.sha256
Étape 3 :Écrivez l'image sur votre carte SD
Une fois que vous avez vérifié l'image, jetez-y un coup d'œil. Il fait environ 400 Mo au format xzip compressé. Vous pouvez l'extraire pour obtenir une image d'environ 1,5 Go.
Insérez votre carte SD. Avant de passer à la commande suivante, veuillez remplacer le sdX par un nom approprié correspondant à votre carte SD.
La commande extrait essentiellement l'archive img.xz sur la carte SD. Le commutateur/drapeau de progression vous permet de voir une ligne de progression avec un nombre pour savoir combien l'archive a extrait.
xzcat 20190206-raspberry-pi-3-buster-PREVIEW.img.xz | dd of=/dev/sdX bs=64k oflag=dsync status=progress
Une fois que vous avez réussi à flasher votre carte SD, vous devriez pouvoir tester si l'installation s'est bien déroulée en vous connectant à votre Raspberry Pi. Le mot de passe root par défaut est framboise.
ssh [email protected]
Si vous êtes curieux de savoir comment l'image Raspberry Pi a été construite, vous pouvez consulter les scripts de construction.
Vous pouvez trouver plus d'informations sur la page d'accueil du projet.
Image Debian Raspberry piComment contribuer à l'effort Raspberry Pi Buster
Il existe une liste de diffusion appelée debian-arm où les gens peuvent apporter leurs efforts et poser des questions. Comme vous pouvez le voir dans la liste, il existe déjà un nouveau micrologiciel qui a été publié il y a quelques jours, ce qui pourrait faire du démarrage direct une réalité au lieu de la solution de contournement partagée ci-dessus.
Si vous le souhaitez, vous pouvez créer une nouvelle image en utilisant la spécification d'image raspi3 partagée ci-dessus ou attendre que Gunnar crée une nouvelle image, ce qui peut prendre du temps.
La plupart des mainteneurs traînent également à #vmdb2 à #OFTC. Vous pouvez soit utiliser votre client IRC ou votre client Riot, enregistrer votre nom sur Nickserv et vous connecter avec Gunnar Wolf, Roman Perier ou/et Lars Wirzenius, auteur de vmdb2. Je pourrais faire un suivi sur vmdb2 car c'est un joli petit outil en soi.
Le chemin à parcourir
S'il y a suffisamment d'intérêt et de contributeurs, par exemple, le fruit le plus simple serait de s'assurer que la page wiki du port ARM64 est aussi à jour que possible. Les avantages sont et peuvent être énormes.
Il existe un grand nombre de projets qui pourraient bénéficier d'une ferme Pi pour créer votre serveur multimédia ou un téléphone SiP ou tout ce avec quoi vous voulez jouer/travailler.
Un autre fruit à portée de main pourrait être la synchronisation entre les appareils, par exemple un cluster ARM partageant des rapports soit sur un bureau Debian par notification, soit sur mobile, soit dans les deux sens.
Bien que j'aie parlé de Raspberry Pi, il existe déjà de nombreux ordinateurs monocarte sur le marché et bien d'autres à venir, à la fois de MIPS et d'OpenRISC-V, il y aura donc beaucoup de concurrence dans les jours à venir.
De plus, OpenRISC-V est et serait en open source pour une grande partie de son adresse IP, de sorte que des micrologiciels non libres ou des blobs binaires ne seraient pas nécessaires. Selon les rumeurs, même MIPS serait plus ouvert, ce qui pourrait défier ARM si MIPS et OpenRISC-V sont en mesure d'obtenir une logistique et des prix corrects, mais c'est une histoire pour un autre jour.
Il y a beaucoup plus de fournisseurs, je partage juste ceux qui m'intéressent le plus pour voir ce qu'ils proposent.
J'espère que ce qui précède explique pourquoi il est logique d'avoir Debian sur le Raspberry Pi.