Accueil

6 façons de pirater un Raspberry Pi via la partition de démarrage

Added 2019-11-18


Utiliser un Raspberry Pi est très amusant. Avec autant de projets parmi lesquels choisir, l'ordinateur de 50 $ vous occupera pendant des mois. Mais installer un Raspberry Pi peut prendre beaucoup de temps.

Si vous ne connectez pas de clavier pour configurer le Wi-Fi, vous avez du mal à trouver la bonne configuration d’affichage. Ou une autre option de configuration triviale qui ne devrait pas prendre trop de temps à régler.

Mais dans de nombreux cas, vous pouvez apporter ces modifications facilement et rapidement. Voici comment ajuster votre Raspberry Pi dans la partition / boot / avant même de l’amorcer.

Qu'est-ce que la partition de démarrage Raspberry Pi?

Raspberry Pi 2

Au cours de ce processus, la carte est divisée en deux partitions ou plus. L'un d'eux a le système d'exploitation, formaté avec le système de fichiers EXT4.

L'autre s'appelle toujours «boot» et s'appelle / boot /. Il comporte une foule de données de démarrage, de configurations et d’autres options, et est formaté avec le système de fichiers FAT. Notez que la partition / boot / est requise pour chaque distribution Raspberry Pi.

Au-delà du fait que vous pouvez utiliser / boot / pour peaufiner les paramètres matériels de Raspberry Pi, c’est remarquable d’une autre manière. La partition / boot / est accessible sur n’importe quel ordinateur équipé d’un lecteur de carte. Cela contraste avec le système d'exploitation principal, qui ne peut presque toujours être lu que sur un ordinateur Linux.

En tant que tel, vous pouvez accéder à / boot / sous Windows, MacOS, Linux, n’importe quoi. Surtout, vous pouvez également y accéder à partir du système d'exploitation installé sur votre Raspberry Pi.

Donc, la partition / boot / est utile. Mais que pouvez-vous en faire? Insérez la carte SD de votre Raspberry Pi dans votre PC, ouvrez / boot /, puis lisez la suite.

1. Label votre Raspberry Pi Distro

Exécuter plusieurs projets sur votre Raspberry Pi peut être un peu déroutant. Par exemple, je tiens une feuille de calcul pour que je sache ce que fait chaque Pi. Je remarque également quel matériel est connecté, comme une caméra ou un écran tactile, et dans quel cas le Pi est installé.

Mais vous ne pouvez avoir qu'un seul Pi, avec plusieurs cartes microSD pour basculer facilement entre les projets. Même dans ce cas, cependant, vous aurez peut-être du mal à vous rappeler le contenu de chaque carte.

Créez simplement un fichier texte dans la partition / boot / avec un nom utile, tel que «security cam.txt» ou «print server.txt». Vous pouvez ajouter plus de détails sur le projet au corps du fichier.

Cela vous permet d'identifier rapidement la carte SD sans démarrer.

2. Tweak Config.txt pour une meilleure compatibilité matérielle

Bien que le Raspberry Pi ne possède pas de BIOS système en tant que tel, il contient le fichier config.txt, situé dans / boot /.

C’est le foyer des améliorations pour le Raspberry Pi, avec des options pour presque tout ce que vous pouvez imaginer. Le fichier contient une liste de paramètres utilisant le format «propriété = valeur» (sans guillemets), un par ligne. Notez le manque d'espaces. Des commentaires peuvent être ajoutés en utilisant le caractère # pour commencer une ligne.

Chaque section du fichier config.txt est clairement marquée, avec des lignes commentées expliquant le rôle de chaque paramètre. Ce fichier ne doit être édité que avec précaution, mais il existe suffisamment d’informations pour vous empêcher d’apporter des modifications aux conséquences graves.

Le type de réglages que vous apportez ici dépendra de la configuration de votre matériel. Par exemple, vous pouvez activer le module de caméra au démarrage:

start_x = 1

En attendant, si vous avez du mal à obtenir une image via la sortie HDMI, utilisez

hdmi_safe = 1

Ce paramètre combine différents paramètres HDMI pour créer un correctif général qui devrait forcer HDMI à fonctionner.

Un autre réglage notable de config.txt consiste à faire pivoter l’affichage à l’aide de display_rotate. Par exemple, faites pivoter de 90 degrés avec

display_rotate = 1

Une rotation de 180 degrés, pendant ce temps est

display_rotate = 2

Etc.

Comme vous l'aurez compris, config.txt est la fonctionnalité de configuration matérielle la plus importante du Raspberry Pi. Bien que raspi-config soit important, config.txt a un impact plus important, permettant une configuration de pré-démarrage considérable.

Consultez lewiki elinux.org pour plus de détails sur le fichier config.txt.

3. Créez un fichier vide pour activer SSH

Éditez le fichier config.txt sur le Raspberry Pi

Cependant, les versions ultérieures du système d'exploitation Raspberry Pi basé sur Debian ont SSH désactivé par défaut. Ceci est une mesure de sécurité qui peut s'avérer gênant pour les utilisateurs réguliers.

Il existe cependant une solution de contournement. Créez simplement un fichier spécial dans / boot / partition pour activer SSH.

Ouvrez la partition / boot / sur votre ordinateur et créez un nouveau fichier. Étiquetez-lessh et supprimez l'extension de fichier. C'est aussi simple que ça! Aussi rapide que cela puisse être, il vaut la peine de conserver un fichier de drapeau ssh sur votre PC. De cette façon, il vous suffit de faire glisser le fichier dans la partition / boot / chaque fois que vous installez un système d’exploitation Raspberry Pi.

Ce fichier agit comme un indicateur lors du démarrage du Pi, invitant le système d'exploitation à activer SSH.

Notez que vous serez invité à modifier le mot de passe utilisateur «pi» par défaut lors de votre première connexion.

4. Enregistrez les informations d'identification du réseau Wi-Fi dans wpa_supplicant.conf

Un autre problème avec la configuration d’un Raspberry Pi est d’installer le périphérique sur votre réseau sans fil. Le brancher directement sur le routeur peut vous faire gagner du temps, mais vous n’avez peut-être pas assez de ports. Ou vous avez le Pi situé trop loin.

La réponse est la mise en réseau sans fil, ce qui signifie se connecter à l’environnement de bureau du Pi. La configuration avec une souris et un clavier ne prend pas trop de temps. Vous pouvez le configurer dans la ligne de commande en modifiant le fichier wpa_supplicant.conf, mais vous pouvez également le modifier avant le démarrage de Pi.

Dans la partition / boot /, créez un nouveau fichier wpa_supplicant.conf. Ouvrez-le dans l’éditeur de texte de votre ordinateur (par exemple, le Bloc-notes sous Windows ou préférez le Bloc-notes ++). Copiez et collez les lignes suivantes:

ctrl_interface = DIR = / var / run / wpa_supplicant GROUP = netdev
update_config = 1
pays = US
réseau = {
ssid = "SSID"
psk = "MOT DE PASSE"
key_mgmt = WPA-PSK
}

Certaines modifications sont nécessaires. Tout d’abord, changez le pays comme il convient (par exemple, GB pour le Royaume-Uni).

Ensuite, définissez les champs SSID et PASSWORD pour qu'ils correspondent à ceux de votre réseau sans fil. Enregistrez le fichier, puis fermez-le et démarrez votre Pi. L'appareil devrait bientôt se connecter à votre réseau Wi-Fi local. Accédez à la page d’administration de votre routeur pour afficher l’adresse IP du Pi.

Vous devriez alors pouvoir accéder à distance au Raspberry Pi via SSH. Comme pour ssh, il est utile de conserver une copie du fichier wpa_supplicant.conf sur votre PC pour une configuration rapide.

5. Corrigez les bugs avec / boot / Partition

Ports USB sur le Raspberry Pi 4

La sortie du Raspberry Pi 4 en 2019 comportait trois itérations avec différentes spécifications de RAM. Alors que les modèles 1 Go et 2 Go fonctionnent correctement, le Raspberry Pi 4 de 4 Go a un bug. Plus précisément, cela concerne la détection de port USB sous Ubuntu.

Le bogue empêche la détection des ports dans la version 4 Go du Pi 4, mais il existe une solution de contournement. Jusqu'à ce qu'un correctif officiel soit déployé, vous pouvez modifier la quantité de RAM disponible pour le système d'exploitation.

Ouvrez / boot / firmware et recherchez le fichier usercfg.txt. Lancer ceci dans un éditeur de texte et ajouter:

total_mem = 3072

Cela change la RAM disponible de 4 Go à 3 Go.

Enregistrez le fichier et fermez-le, puis démarrez votre Raspberry Pi 4. Les ports USB devraient maintenant fonctionner. Une mise à jour future devrait résoudre cette erreur, assurez-vous donc de supprimer la ligne dans le fichier usercfg.txt lorsque cela se produit.

6. Copier les données de votre PC vers Raspberry Pi

Si vous devez copier rapidement des données de votre PC sur votre Raspberry Pi, vous pouvez utiliser la partition / boot /. Copiez simplement les données dans un nouveau répertoire et elles seront accessibles lorsque vous démarrez le Pi. Notez que la taille de la partition / boot / est cependant limitée.

En tant que tel, cela ne convient que pour les petits fichiers, comme les MP3 ou les images, plutôt que les fichiers vidéo. Ce n’est pas une solution idéale, mais cela fonctionne.

6 façons d'utiliser Raspberry Pi / boot / Partition

Avec autant d’options pour configurer votre Raspberry Pi dans la partition / boot /, vous gagnerez du temps sur votre prochain projet. Pour récapituler, vous pouvez effectuer les opérations suivantes dans / boot / partition:

  • Étiquetez votre carte SD
  • Tweak config.txt
  • Activer SSH
  • Pré-chargez vos identifiants de réseau sans fil
  • Corriger les bugs
  • Copier les données du PC vers le Pi





Nuage de tags

Choix de L'éditeur


Thomas Becket

Je suis un écrivain indépendant qui couvre la programmation et les logiciels.
Je suis étudiant en informatique et je m'intéresse à la programmation, aux logiciels et à la technologie
Gadgets technologiques et critiques 2019