Sono venuto a conoscenza che debian sta lavorando per portare ufficialmente il loro prodotto sul raspberry pi.
Siccome il piccolinux è una distro debian con 2 o 3 pacchetti personalizzati ed un bootloader proprietario, scriverò questa guida per rendere il piccolinux aggiornato ad un kernel recente, col bootloader libero e con le ultime tecnologie.
Siccome il bootloader ufficiale di raspberry non è ancora libero, non posso fare nessuna release ufficiale, pena la voliazione della GPL.
Incominciamo col dire che, una volta scaricato il vecchio piccolinux, bisogna aggiornarlo con apt update e apt upgrade, poi bisogna disinstallare il vecchio kernel con apt remove --purge bcm2711-kernel-bis cancellando tutte le vecchie dipendenze.
A questo punto bisogna inserire il nuovo kernel, ed uboot, già presenti nel repository backports, abilitato di default.
apt install linux-image-5.6.0-0.bpo.2-arm64 u-boot-rpi #se si usa il modello rpi4 da 8gb
apt install linux-image-5.7.0-0.bpo.2-arm64 u-boot-rpi #se si usa il modello rp4 da 4 gb
Adesso bisogna scaricare il firmware nonfree per il raspberry, sfortunatamente non è stato ancora pacchettizzato, per cui bisogna andare sul github di raspberry, prendere tutto il package e copiare la directory boot in /boot, sovrascrivendo i file esistenti.
git clone https://github.com/raspberrypi/firmware.git
cp -rf ./boot /media/numerone/debroot/
in questo modo i vecchi files proprietari del precedente boot loader verranno sovrascritti in automatico con quelli nuovi, anch'essi attualmente proprietari e quindi non pacchettizzabili e non ridistribuibili.
Una volta fatto ciò, si può inserire la scheda nel raspberry ed accenderlo per avere una distro debian pura a 64 bit.
UPDATE 28/09
Ho upgradato il netinstall con uboot, mantenendo solo il software libero preso dai repository debian.
Fate attenzione che non è un file di utilizzo immediato, bisogna scaricare il firmware ufficiale e il firmware della scheda wifi per funzionare, e quelli ahimé non sono ridistribuibili.
Happy Hacking :)
