I have ZedBoard Rev C. and AD-FMCOMMS1-EBZ Rev B.
I obtained reference design from here: http://wiki.analog.com/resources/fpga/xilinx/fmc/ad-fmcomms1-ebz and followed this tutorial: http://wiki.analog.com/resources/tools-software/linux-drivers/platforms/zynq. I took an existing SDK export (system.xml, system.bit, etc) and make FSBL, u-boot and uImage myself (as in tutorial).
But seems to linux kernel cannot probe drivers for xcomm board (see attached boot.log file). I debugged it a bit and seems what xiic driver (linux/drivers/i2c/busses/i2c-xiic.c) makes iowrite32 to wrong addresses (i2c@0xe0860000 and i2c@0xe0880000, but in devicetree zynq-zed-adv7511-xcomm.dts i2c@4160000 and i2c@4162000) and reporting error -110 (ETIMEDOUT).
Also device tree have kernel boot command "console=ttyPS0,115200 root=/dev/mmcblk0p2 rw earlyprintk rootfstype=ext4 rootwait devtmpfs.mount=0", but kernel wants ramdisk image and don't mount second partition from sdcard.
Any ideas how to make it work? Precompiled image (http://wiki.analog.com/resources/tools-software/linux-software/zynq_images) works fine.