From 83788e3f3a79344efe87c870a908f65ec2875f78 Mon Sep 17 00:00:00 2001 From: Ahmad Fatoum Date: Thu, 9 Jun 2022 07:59:22 +0200 Subject: ARM: rpi: use correct kernel8.img as name for 64-bit This ensures boot rpi does the right thing on the Raspberry Pi 4. Signed-off-by: Ahmad Fatoum Link: https://lore.barebox.org/20220609055922.667016-22-a.fatoum@pengutronix.de Signed-off-by: Sascha Hauer --- arch/arm/boards/raspberry-pi/rpi-common.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/arm/boards/raspberry-pi/rpi-common.c b/arch/arm/boards/raspberry-pi/rpi-common.c index 2a95fac163..12a4f4a0ad 100644 --- a/arch/arm/boards/raspberry-pi/rpi-common.c +++ b/arch/arm/boards/raspberry-pi/rpi-common.c @@ -225,7 +225,7 @@ static int rpi_vc_fdt_bootargs(void *fdt) globalvar_add_simple("vc.kernel", "kernel7.img"); break; case CPU_ARCH_ARMv8: - globalvar_add_simple("vc.kernel", "kernel7l.img"); + globalvar_add_simple("vc.kernel", "kernel8.img"); break; } -- cgit v1.2.3