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" UBOOT_MACHINE = "rpi_arm64_config" -VC4DTBO ?= "vc4-fkms-v3d" +VC4DTBO ?= "vc4-kms-v3d" # When u-boot is enabled we need to use the "Image" format and the "booti" # 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" UBOOT_MACHINE = "rpi_4_32b_config" SERIAL_CONSOLES ?= "115200;ttyS0" -VC4DTBO ?= "vc4-fkms-v3d" +VC4DTBO ?= "vc4-kms-v3d" ARMSTUB ?= "armstub7.bin" |