diff options
-rw-r--r-- | conf/machine/raspberrypi3-64.conf | 2 | ||||
-rw-r--r-- | conf/machine/raspberrypi4-64.conf | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/conf/machine/raspberrypi3-64.conf b/conf/machine/raspberrypi3-64.conf index 65e3302..0c6526a 100644 --- a/conf/machine/raspberrypi3-64.conf +++ b/conf/machine/raspberrypi3-64.conf | |||
@@ -22,7 +22,7 @@ RPI_KERNEL_DEVICETREE = " \ | |||
22 | 22 | ||
23 | SERIAL_CONSOLES ?= "115200;ttyS0" | 23 | SERIAL_CONSOLES ?= "115200;ttyS0" |
24 | 24 | ||
25 | UBOOT_MACHINE = "rpi_3_config" | 25 | UBOOT_MACHINE = "rpi_arm64_config" |
26 | 26 | ||
27 | # When u-boot is enabled we need to use the "Image" format and the "booti" | 27 | # When u-boot is enabled we need to use the "Image" format and the "booti" |
28 | # command to load the kernel | 28 | # command to load the kernel |
diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf index b4d442e..7c9792c 100644 --- a/conf/machine/raspberrypi4-64.conf +++ b/conf/machine/raspberrypi4-64.conf | |||
@@ -20,7 +20,7 @@ RPI_KERNEL_DEVICETREE = " \ | |||
20 | SDIMG_KERNELIMAGE ?= "kernel8.img" | 20 | SDIMG_KERNELIMAGE ?= "kernel8.img" |
21 | SERIAL_CONSOLES ?= "115200;ttyS0" | 21 | SERIAL_CONSOLES ?= "115200;ttyS0" |
22 | 22 | ||
23 | UBOOT_MACHINE = "rpi_4_config" | 23 | UBOOT_MACHINE = "rpi_arm64_config" |
24 | 24 | ||
25 | VC4DTBO ?= "vc4-fkms-v3d" | 25 | VC4DTBO ?= "vc4-fkms-v3d" |
26 | 26 | ||