Re: Setting DEVICE_TREE for xilinx_zynq_virt_defconfig?