diff options
| author | Andrei Gherzan <andrei@gherzan.ro> | 2019-07-12 17:55:14 +0100 |
|---|---|---|
| committer | Andrei Gherzan <andrei@gherzan.ro> | 2019-07-16 13:38:41 +0100 |
| commit | 982a81e4b85057cf289ac8719068b81ecc011209 (patch) | |
| tree | 4b2dae39004523c17e9cba5cafd2a2dcc4d2164f | |
| parent | ae7aba5ed1c1dfed91551e168785de9ad823eb63 (diff) | |
| download | meta-raspberrypi-982a81e4b85057cf289ac8719068b81ecc011209.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 | ||