From 15967d6ad992f54ce9be53d82ff6a14eedefb49d Mon Sep 17 00:00:00 2001
From: Leon Anavi <leon.anavi@konsulko.com>
Date: Sat, 25 Nov 2023 10:09:52 +0100
Subject: [PATCH] conf/machine/raspberrypi5.conf: kernel_2712.img

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>
---
 conf/machine/raspberrypi5.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf/machine/raspberrypi5.conf b/conf/machine/raspberrypi5.conf
index 9ea4941..b7450fb 100644
--- 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"