17/09/2021

 Linux underground

Raspberry Pi 4 et Gentoo

Avertissement :
Document brouillon : rien n'a été testé
excepté le logiciel Pi Imager

Pour mémoire

Pour les OS officiellement supportés, je fais très facilement une cart SD bootable prêt à l'emploi avec Raspberry Pi Imager.

Gentoo

https://www.raspberrypi.org/documentation/linux/kernel/building.md#choosing_sources

https://www.stephenwagner.com/2020/03/17/how-to-compile-linux-kernel-raspberry-pi-4-raspbian/

cd linux
KERNEL=kernel7l
make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- bcm2711_defconfig
make -j4 zImage modules dtbs

make modules_install

cp arch/arm/boot/dts/*.dtb /boot/
cp arch/arm/boot/dts/overlays/*.dtb* /boot/overlays/
cp arch/arm/boot/dts/overlays/README /boot/overlays/
cp arch/arm/boot/zImage /boot/kernel-stephen.img

Configure the PI to boot using the new kernel by modifying and adding the below line to “/boot/config.txt”.
kernel=kernel-stephen.img


u-boot
https://elinux.org/RPi_U-Boot

make rpi_defconfig
find rpi_*_defconfig ?

make rpi_arm64_defconfig (https://stackoverflow.com/questions/64014958/cant-get-u-boot-running-on-raspberry-pi-4b-what-are-the-absolute-necessities)


Contact