I'm looking at page 9 of the MicroZed schematics, Rev F, dated 1/28/2014.
There are I/O Power rails connected to the Zynq symbol in the top left corner (schematic symbol section J) which don't seem to be connected to a power supply on the board.
A search of "VCCO_13", "VCCO_34", or "VCCO_35" leads to some decoupling caps, the 61082 connectors on the bottom side of the board, and nothing else which may be construed as a power supply.
What am I missing?
-- Bob Elkind