1 2 3 4 5 6
# Default Xilinx Board settings EXTRA_IMAGEDEPENDS += "virtual/bootloader" IMAGE_BOOT_FILES ?= "${KERNEL_IMAGETYPE} ${UBOOT_BINARY}"