summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--conf/machine/raspberrypi3-64.conf2
-rw-r--r--conf/machine/raspberrypi4-64.conf2
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
23SERIAL_CONSOLES ?= "115200;ttyS0" 23SERIAL_CONSOLES ?= "115200;ttyS0"
24 24
25UBOOT_MACHINE = "rpi_3_config" 25UBOOT_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 = " \
20SDIMG_KERNELIMAGE ?= "kernel8.img" 20SDIMG_KERNELIMAGE ?= "kernel8.img"
21SERIAL_CONSOLES ?= "115200;ttyS0" 21SERIAL_CONSOLES ?= "115200;ttyS0"
22 22
23UBOOT_MACHINE = "rpi_4_config" 23UBOOT_MACHINE = "rpi_arm64_config"
24 24
25VC4DTBO ?= "vc4-fkms-v3d" 25VC4DTBO ?= "vc4-fkms-v3d"
26 26