Raspberry Pi : mettre à jour le noyau et installer les Kernel Headers

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