|
@@ -20,7 +20,8 @@ WKS_FILE ?= "efi-disk.wks.in"
|
|
|
SERIAL_CONSOLES = "115200;ttyAMA0"
|
|
|
|
|
|
PREFERRED_PROVIDER_virtual/kernel ?= "linux-yocto"
|
|
|
-KERNEL_DEVICETREE = "arm/fvp-base-revc.dtb"
|
|
|
+KERNEL_DTB_NAME = "fvp-base-revc.dtb"
|
|
|
+KERNEL_DEVICETREE = "arm/${KERNEL_DTB_NAME}"
|
|
|
KERNEL_IMAGETYPE = "Image"
|
|
|
|
|
|
EXTRA_IMAGEDEPENDS += "trusted-firmware-a"
|