This is an old revision of the document!
Upgrade e downgrade del kernel nel Raspberry Pi
La distribuzione ufficiale per il Raspberry Pi è Raspberry Pi OS, una distribuzione GNU/Linux direttamente derivata da Debian. A differenza di Debian però non esistono i pacchetti linux-image-* con i quali è possibile effettuare l'upgrade o il downgrade del kernel.
Per il Raspberry esiste il pacchetto raspberrypi-kernel, ma quel pacchetto deve andare di pari passo con i pacchetti raspberrypi-bootloader, libraspberrypi-{bin|dev|doc} e libraspberrypi0, che contengono le librerie per la gestione della GPU e varie utility.
Per gestire in maniera più comoda e precisa le versioni del kernel, del firmware e delle librerie correlate, è stato sviluppato il progamma rpi-update.
Eseguito senza argomenti, effettua l'aggiornamento all'ultima versione pre-release. Per effettuare un downgrade è necessario individuare il commit che interessa nella pagina GitHub rpi-firmware. Ad esempio si possono individuare i seguenti kernel bump:
May 12, 2020 kernel: Latest 4.19 (in effetti 4.19.118-v7l+) 866751bfd023e72bd96a8225cf567e03c334ecc4 Dec 14, 2020 kernel: Bump to 5.4.81 (in effetti 5.4.83-v7l+) 453e49bdd87325369b462b40e809d5f3187df21d Dec 18, 2020 kernel: Bump to 5.10.1 (in effetti 5.10.1-v7l+) 367c84201db35a85979f1482ebd78e1eef910efc
Quindi, se si vuole tornare in un colpo solo al kernel 4.19 installando anche le librerie e firmare relative, si esegue:
rpi-update 866751bfd023e72bd96a8225cf567e03c334ecc4
Per resintallare il kernel e il firmware ufficiali della distribuzione:
apt install --reinstall \ libraspberrypi0 libraspberrypi-bin libraspberrypi-dev libraspberrypi-doc raspberrypi-bootloader raspberrypi-kernel