|
@@ -21,16 +21,15 @@ RPI_KERNEL_DEVICETREE = " \
|
|
|
broadcom/bcm2710-rpi-cm3.dtb \
|
|
|
"
|
|
|
|
|
|
-SERIAL_CONSOLES ?= "115200;ttyS0"
|
|
|
-
|
|
|
-UBOOT_MACHINE = "rpi_arm64_config"
|
|
|
-
|
|
|
+SDIMG_KERNELIMAGE ?= "kernel8.img"
|
|
|
# When u-boot is enabled we need to use the "Image" format and the "booti"
|
|
|
# command to load the kernel
|
|
|
KERNEL_IMAGETYPE_UBOOT ?= "Image"
|
|
|
# "zImage" not supported on arm64 and ".gz" images not supported by bootloader yet
|
|
|
KERNEL_IMAGETYPE_DIRECT ?= "Image"
|
|
|
KERNEL_BOOTCMD ?= "booti"
|
|
|
+UBOOT_MACHINE = "rpi_arm64_config"
|
|
|
+SERIAL_CONSOLES ?= "115200;ttyS0"
|
|
|
|
|
|
VC4DTBO ?= "vc4-fkms-v3d"
|
|
|
ARMSTUB ?= "armstub8.bin"
|