diff options
-rw-r--r-- | conf/machine/raspberrypi4-64.conf | 2 | ||||
-rw-r--r-- | conf/machine/raspberrypi4.conf | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf index 960bb67..6032dc8 100644 --- a/conf/machine/raspberrypi4-64.conf +++ b/conf/machine/raspberrypi4-64.conf | |||
@@ -24,7 +24,7 @@ SERIAL_CONSOLES ?= "115200;ttyS0" | |||
24 | 24 | ||
25 | UBOOT_MACHINE = "rpi_arm64_config" | 25 | UBOOT_MACHINE = "rpi_arm64_config" |
26 | 26 | ||
27 | VC4DTBO ?= "vc4-fkms-v3d" | 27 | VC4DTBO ?= "vc4-kms-v3d" |
28 | 28 | ||
29 | # When u-boot is enabled we need to use the "Image" format and the "booti" | 29 | # When u-boot is enabled we need to use the "Image" format and the "booti" |
30 | # command to load the kernel | 30 | # command to load the kernel |
diff --git a/conf/machine/raspberrypi4.conf b/conf/machine/raspberrypi4.conf index 49f9dbd..535a575 100644 --- a/conf/machine/raspberrypi4.conf +++ b/conf/machine/raspberrypi4.conf | |||
@@ -17,5 +17,5 @@ SDIMG_KERNELIMAGE ?= "kernel7l.img" | |||
17 | UBOOT_MACHINE = "rpi_4_32b_config" | 17 | UBOOT_MACHINE = "rpi_4_32b_config" |
18 | SERIAL_CONSOLES ?= "115200;ttyS0" | 18 | SERIAL_CONSOLES ?= "115200;ttyS0" |
19 | 19 | ||
20 | VC4DTBO ?= "vc4-fkms-v3d" | 20 | VC4DTBO ?= "vc4-kms-v3d" |
21 | ARMSTUB ?= "armstub7.bin" | 21 | ARMSTUB ?= "armstub7.bin" |