As described on http://www.wiki.xilinx.com/Build+U-Boot we can configure u-boot for ZedBoard using zynq_zed_config target and zynq_zc70x_config for Xilinx ZC70x board. So, question which one I have to use for MicroZed?
Will it be separate target soon?