Differences

This shows you the differences between two versions of the page.

--- doc:appunti:hardware:raspberrypi_kernel_upgrade_downgrade [2022/04/26 07:56] – [Come trovare le vecchie versioni dei pacchetti kernel] niccolo
+++ doc:appunti:hardware:raspberrypi_kernel_upgrade_downgrade [2022/04/26 12:36] (current) – [Download pacchetti Debian invece di rpi-update] niccolo
@@ Line 2: / Line 2: @@
 La distribuzione ufficiale per il Raspberry Pi è **[[https://www.raspberrypi.org/software/|Raspberry Pi OS]]**, una distribuzione GNU/Linux direttamente derivata da **[[https://www.debian.org/|Debian]]**. A differenza di Debian però non esistono i pacchetti **%%linux-image-*%%** con i quali è possibile effettuare l'upgrade o il downgrade del kernel.
+===== rpi-update =====
 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.
@@ Line 51: / Line 53: @@
 Se si vuole evitare di perdere queste modifiche nei successivi aggiornamenti, è opportuno **mettere on-hold** il pacchetto **raspberrypi-kernel** e quelli strettamente correlati (vedi avanti).
-===== Come trovare le vecchie versioni dei pacchetti kernel =====
+===== Download pacchetti Debian invece di rpi-update =====
-A mio avviso è preferibile **installare i pacchetti Debian che contengono la versione del kernel desiderato**, invece di usare ''rpi-udate'' che rompere l'integrità del gestore pacchetti deb. Come fare?
+A mio avviso è preferibile **installare i pacchetti Debian che contengono la versione del kernel desiderato**, invece di usare ''rpi-udate'' che rompe l'integrità della gestione dei pacchetti deb. Come fare?
 Per individuare quali sono le //source// dei pacchetti installati sul Raspberry si ispezionano i file **/etc/apt/sources.list** e **/etc/apt/sources.list.d/raspi.list**, scoprendo che vengono usati due repository: