Ho installato correttamente Ubuntu 20.04 LTS su un Raspberry Pi 4 utilizzando la seguente immagine:
https://ubuntu.com/download/raspberry-pi/thank-you?version=20.04&architecture=arm64+raspi
Voglio personalizzare il kernel, tuttavia, ho provato vari metodi ma nessuno di questi produce un kernel 5.4.0 avviabile. La cartella /boot non è affatto standard, quindi la mia domanda è qualcuno ha qualche idea di creare un kernel personalizzato su Ubuntu su un Raspberry Pi 4 per arm64? Qualsiasi documentazione di Ubuntu relativa a Ubuntu e a questo hardware sarebbe grata.
Risposta accettata:
Condivido il tuo dolore. Ci sono un sacco di informazioni in giro e la maggior parte è vicina, ma non esattamente ciò di cui hai bisogno. Di recente sono riuscito a creare ed eseguire kernel 20.04 per il pi 4. Le mie note sono allegate qui. Non sto compilando in modo incrociato; Sto costruendo sul pi stesso. Questo ha funzionato per me sia su installazioni a 32 bit che a 64 bit.
Modificato 19-07-2020: Il comando git originale che ho dato di seguito era:
git clone --depth=1 git://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/focal -b raspi
Questo mi ha procurato l'ultimo codice nel momento in cui l'ho fatto, ma da allora non è stato aggiornato. In questo momento, è ancora alla versione del kernel 1009.
Puoi ottenere il sorgente per il kernel esatto che hai attualmente installato facendo:
apt-get source linux-image-$(uname -r)
Se lo fai, vedrai un messaggio che indica che puoi ottenere il codice sorgente più recente in questo modo:
git clone git://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux-raspi/+git/focal
L'ho fatto proprio ora e ho ottenuto il codice sorgente per la versione del kernel 1012, che è successiva ma non ancora l'ultima. L'aggiornamento di sistema più recente ha installato la versione 1013 del kernel binario sul mio pi 4.
Ho aggiornato la nota qui sotto con le migliori informazioni che ho, ma mi piacerebbe comunque sapere se esiste un repository git pubblicamente disponibile con una fonte del kernel pi 4 ancora più recente.
Ecco le note:
start with a 32GB card (might just barely fit on a 16GB card)
download, install, and update 32-bit or 64-bit Ubuntu Server 20.04 for Raspberry Pi (preinstalled image)
uncomment the following 2 lines in /etc/apt/sources.list:
deb-src http://ports.ubuntu.com/ubuntu-ports focal main restricted
deb-src http://ports.ubuntu.com/ubuntu-ports focal-updates main restricted
sudo apt update
sudo apt-get build-dep linux linux-image-$(uname -r) # brings in nearly a gigabyte
sudo apt install libncurses-dev linux-tools-common fakeroot
# these notes assume your build tree will be in ~/kbuild.
# if you'd prefer to put it elsewhere, simply substitute your location for ~/kbuild in all that follows.
mkdir ~/kbuild
cd ~/kbuild
git clone --depth=1 git://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux-raspi/+git/focal
# To customize, edit files under .../debian.raspi/config/
# intial build - takes 2 hours 20 minutes, creates 7 .deb files in ~/kbuild
cd ~/kbuild/focal
fakeroot debian/rules clean
fakeroot debian/rules binary-headers binary binary-perarch
# install and run the newly-built kernel:
sudo apt install libunwind8 linux-tools-common libdw1
cd ~/kbuild
sudo dpkg -i *.deb
sync; sudo reboot
# rebuild - takes 30 minutes
cd ~/kbuild/focal
rm debian/stamps/stamp-build*
rm -rf debian/linux-libc-dev/usr/include/arm-linux-gnueabihf
rm -rf debian/build/build-raspi/_____________________________________________dkms
# if you've changed any header files, add binary-headers to the following line:
fakeroot debian/rules binary binary-perarch