diff options
-rw-r--r-- | conf/machine/raspberrypi3-64.conf | 1 | ||||
-rw-r--r-- | conf/machine/raspberrypi3.conf | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/conf/machine/raspberrypi3-64.conf b/conf/machine/raspberrypi3-64.conf index 23b59ed..65e3302 100644 --- a/conf/machine/raspberrypi3-64.conf +++ b/conf/machine/raspberrypi3-64.conf | |||
@@ -31,4 +31,5 @@ KERNEL_IMAGETYPE_UBOOT ?= "Image" | |||
31 | KERNEL_IMAGETYPE_DIRECT ?= "Image" | 31 | KERNEL_IMAGETYPE_DIRECT ?= "Image" |
32 | KERNEL_BOOTCMD ?= "booti" | 32 | KERNEL_BOOTCMD ?= "booti" |
33 | 33 | ||
34 | VC4DTBO ?= "vc4-fkms-v3d" | ||
34 | ARMSTUB ?= "armstub8.bin" | 35 | ARMSTUB ?= "armstub8.bin" |
diff --git a/conf/machine/raspberrypi3.conf b/conf/machine/raspberrypi3.conf index 581e47c..dafb66e 100644 --- a/conf/machine/raspberrypi3.conf +++ b/conf/machine/raspberrypi3.conf | |||
@@ -17,4 +17,5 @@ SDIMG_KERNELIMAGE ?= "kernel7.img" | |||
17 | UBOOT_MACHINE = "rpi_3_32b_config" | 17 | UBOOT_MACHINE = "rpi_3_32b_config" |
18 | SERIAL_CONSOLES ?= "115200;ttyS0" | 18 | SERIAL_CONSOLES ?= "115200;ttyS0" |
19 | 19 | ||
20 | VC4DTBO ?= "vc4-fkms-v3d" | ||
20 | ARMSTUB ?= "armstub7.bin" | 21 | ARMSTUB ?= "armstub7.bin" |