conf/machine/raspberrypi5.conf: kernel_2712.img

leon-anavi · kraj · commit b19385dd258b · 2024-01-21T11:48:25.000-08:00
Set SDIMG_KERNELIMAGE to kernel_2712.img instead of kernel8.img. Raspberry Pi 5 firmware defaults to loading kernel_2712.img because this image contains optimisations specific to Raspberry Pi 5 (e.g. 16K page-size). For more details: https://www.raspberrypi.com/documentation/computers/config_txt.html#kernel This work was sponsored by GOVCERT.LU. Signed-off-by: Leon Anavi <leon.anavi@konsulko.com>
diff --git a/conf/machine/raspberrypi5.conf b/conf/machine/raspberrypi5.conf
@@ -17,7 +17,7 @@ RPI_KERNEL_DEVICETREE = " \
     broadcom/bcm2712-rpi-5-b.dtb \
 "
 
-SDIMG_KERNELIMAGE ?= "kernel8.img"
+SDIMG_KERNELIMAGE ?= "kernel_2712.img"
 SERIAL_CONSOLES ?= "115200;ttyS0"
 
 VC4DTBO ?= "vc4-kms-v3d"

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@ RPI_KERNEL_DEVICETREE = " \`
`17`	`17`	`broadcom/bcm2712-rpi-5-b.dtb \`
`18`	`18`	`"`
`19`	`19`
`20`		`-SDIMG_KERNELIMAGE ?= "kernel8.img"`
	`20`	`+SDIMG_KERNELIMAGE ?= "kernel_2712.img"`
`21`	`21`	`SERIAL_CONSOLES ?= "115200;ttyS0"`
`22`	`22`
`23`	`23`	`VC4DTBO ?= "vc4-kms-v3d"`