kc705-microblazeel.conf: Pin providers to Xilinx kernel and u-boot
kc705 is tested with Xilinx kernel tree and u-boot, set preferred
provider to use the vendor tree rather than upstream version
@@ -17,6 +17,8 @@ SERIAL_CONSOLE = "115200 ttyS0"
KERNEL_IMAGETYPE ?= "linux.bin.ub"
MACHINE_ESSENTIAL_EXTRA_RDEPENDS += "device-tree"
+PREFERRED_PROVIDER_virtual/kernel ?= "linux-xlnx"
+PREFERRED_PROVIDER_virtual/bootloader ?= "u-boot-xlnx"
EXTRA_IMAGEDEPENDS += "virtual/bitstream"
