From a4cb3c40e21272824743af51eeaedc5d16ea974b Mon Sep 17 00:00:00 2001 From: Andrei Gherzan Date: Fri, 12 Jul 2019 17:55:14 +0100 Subject: raspberrypi4.conf: The firmware uses kernel7l.img when LPAE is supported Signed-off-by: Andrei Gherzan --- conf/machine/raspberrypi4.conf | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/conf/machine/raspberrypi4.conf b/conf/machine/raspberrypi4.conf index ebc506e..b4fd271 100644 --- a/conf/machine/raspberrypi4.conf +++ b/conf/machine/raspberrypi4.conf @@ -11,7 +11,8 @@ MACHINE_EXTRA_RRECOMMENDS += "\ bluez-firmware-rpidistro-bcm4345c0-hcd \ " -SDIMG_KERNELIMAGE ?= "kernel7.img" +# 'l' stands for LPAE +SDIMG_KERNELIMAGE ?= "kernel7l.img" UBOOT_MACHINE = "rpi_4_32b_config" SERIAL_CONSOLES ?= "115200;ttyS0" -- cgit v1.2.3-54-g00ecf