diff options
| author | Andrei Gherzan <andrei@gherzan.ro> | 2019-07-12 17:55:14 +0100 |
|---|---|---|
| committer | Andrei Gherzan <andrei@gherzan.ro> | 2019-07-20 21:56:21 +0100 |
| commit | a4cb3c40e21272824743af51eeaedc5d16ea974b (patch) | |
| tree | 5628877dc43db280fa3985533b914ee2069a1970 | |
| parent | 35db3d24b2e868337e23ac9fc1bdc4cb1918894b (diff) | |
| download | meta-raspberrypi-a4cb3c40e21272824743af51eeaedc5d16ea974b.tar.gz | |
raspberrypi4.conf: The firmware uses kernel7l.img when LPAE is supported
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
| -rw-r--r-- | conf/machine/raspberrypi4.conf | 3 |
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 += "\ | |||
| 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 | ||