Cet article conserve la documentation initialement publiée par Pineboards sur la mise à jour du noyau Raspberry Pi, aujourd’hui indisponible. Il vous guide pour installer le dernier kernel expérimental et les en-têtes nécessaires au développement de pilotes ou à l’expérimentation de nouvelles fonctionnalités.
Guide pratique
Prérequis
- Un Raspberry Pi sous Raspberry Pi OS
- Une connexion internet
- Une connaissance basique du terminal
Étape 1 : Mettre à jour votre système
Commencez par mettre à jour votre système. Ouvrez un terminal et lancez ces commandes :
sudo apt update
sudo apt full-upgrade
Étape 2 : Installer rpi-update
rpi-update est un outil qui récupère le dernier noyau expérimental pour Raspberry Pi. Ce kernel n’est pas totalement validé, utilisez-le avec prudence, surtout en production.
Pour l’installer, exécutez :
sudo apt install rpi-update
Étape 3 : Mettre à jour le noyau
Maintenant que rpi-update est installé, vous pouvez mettre à jour le noyau. Cette action télécharge et installe les derniers firmware et kernel. Utilisez cette commande :
sudo rpi-update
Note : Après la mise à jour du noyau, il est recommandé de redémarrer votre Raspberry Pi.
sudo reboot
Étape 4 : Installer rpi-source pour récupérer les en-têtes du noyau
Les en-têtes du kernel sont nécessaires pour compiler des modules ou des pilotes. rpi-source facilite l’obtention des sources correspondant au noyau installé.
Installez rpi-source avec ces commandes :
sudo apt install git bc bison flex libssl-dev make libncurses5-dev
sudo wget https://raw.githubusercontent.com/jgartrel/rpi-source/master/rpi-source -O /usr/bin/rpi-source
sudo chmod +x /usr/bin/rpi-source
rpi-source --tag-update
Étape 5 : Récupérer les en-têtes du noyau
Une fois rpi-source installé, lancez-le pour télécharger et préparer les en-têtes :
rpi-source --default-config
Cette commande récupère les sources du noyau et vérifie que les en-têtes correspondent bien à votre version en cours d’exécution.
Résumé
Votre Raspberry Pi dispose désormais du dernier noyau et de ses en-têtes associés. Cette configuration est parfaite pour développer des pilotes matériels, tester de nouvelles fonctionnalités du kernel ou simplement suivre les évolutions de la plateforme.
Retrouvez l’histoire de Raspberry Pi dans cette vidéo :

-
Kit de démarrage Basique pour Rasp-Pi Pico Binghe Rasp-Pi Pico Kit avec RP2040 Cartes de développement, Module I2C LCD, 9G Micro Servo Compatible avec Raspberry Pi Pico
-
GeeekPi Raspberry Pi Micro GPIO Terminal Block Breakout Board Module,Raspberry Pi GPIO Expansion Board Micro Connector pour Raspberry Pi 4B/3B+/3B/2B