1 files changed, 2 insertions, 1 deletions
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"

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 += "\
11	bluez-firmware-rpidistro-bcm4345c0-hcd \	11	bluez-firmware-rpidistro-bcm4345c0-hcd \
12	"	12	"
13		13
14	SDIMG_KERNELIMAGE ?= "kernel7.img"	14	# 'l' stands for LPAE
		15	SDIMG_KERNELIMAGE ?= "kernel7l.img"
15	UBOOT_MACHINE = "rpi_4_32b_config"	16	UBOOT_MACHINE = "rpi_4_32b_config"
16	SERIAL_CONSOLES ?= "115200;ttyS0"	17	SERIAL_CONSOLES ?= "115200;ttyS0"
17		18