Hi,
Yes, the adv7511 projects for vivado are already up on github. The VDMA and I2C cores are Xilinx cores and the drivers are developed by Xilinx. We do not have additional documentation for these drivers or cores. But at least the I2C driver is pretty standard, maybe the Linux I2C driver documentation is helpful for you.
- Lars