Dear Sir,
The VC709-FMC150 firmware does not come free of charge because it uses PCIe and the PCIe does not come free when buying a FMC150.. Plus we do not support Vivado on Xilinx development boards yet, only on our VP780/FM780 with large FPGAs (1140t). In other words, I am not able to provide you with the XDC file for Vivado.
The BSP free of charge works on Ethernet and there you can use ML605, KC705, VC707, ZC702, ZEDBOARD, ZC706, etc..
Best Regards,
Arnaud