jeans/LibreELEC.tv
jeans/LibreELEC.tv
1
0
Fork 0
mirror of https://github.com/LibreELEC/LibreELEC.tv.git synced 2025-07-29 21:56:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

linux: gzip 64bit kernels on RPi

Browse Source 
RPi firmware since around September 2020 is able to decompress
gzipped kernels prior to handing over control. Arm64 kernels do not
do self-decompression, so use the firmware's capability.

Signed-off-by: Ian Leonard <antonlacon@gmail.com>
This commit is contained in:
Ian Leonard 2022-06-20 19:32:40 +00:00
parent e8c865d966
commit 4ced62d585
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
packages/linux/package.mk
View File

@ -282,6 +282,12 @@ makeinstall_target() {
fi
done
elif [ "${BOOTLOADER}" = "bcm2835-bootloader" ]; then
# RPi firmware will decompress gzipped kernels prior to booting
if [ "${TARGET_KERNEL_ARCH}" = "arm64" ]; then
pigz --best --force ${INSTALL}/.image/${KERNEL_TARGET}
mv ${INSTALL}/.image/${KERNEL_TARGET}.gz ${INSTALL}/.image/${KERNEL_TARGET}
fi
mkdir -p ${INSTALL}/usr/share/bootloader/overlays
# install platform dtbs, but remove upstream kernel dtbs (i.e. without downstream