I created a really simple DTS using Vivado and noticed a lot of differences between it and the DTS in your Linux reference design from Aug 10th. One in particular that seems to be problematic for me is the SD clock frequency. The reference design has clock-frequency = <125000000> and xlnx,sdio-clk-freq-hz = <0x3f93e10>. The hex value is 66.666MHz (not 125MHz).
After running your latest TCL script in Vivado for PS config for MicroZed, it gives me clock-frequency = <50000000> and xlnx,sdio-clk-freq-hz = <0x2faf080>, which in base 10 is 50MHz. So while my configuration made sense to me, it didn't work. I didn't see the SD card in /dev when running the reference Xilinx ramdisk.
I changed it to clock-frequency = <66666000> and xlnx,sdio-clk-freq-hz = <0x3f93e10>. This seems to work with my DTS/DTB.
There are other small differences that I can't explain or know if they affect me:
ps7_ethernet_0: ps7-ethernet@e000b000 {
...
interrupts = < 0 22 1 >;
...
xlnx,enet-reset = <0xffffffff>;tt
...
phy 0: phy@0
...
};
versus
ps7_ethernet_0: ps7-ethernet@e000b000 {
...
tttinterrupts = < 0 22 4 >;
tttxlnx,enet-reset = "";
...
phy0: phy@7
};
tt
gpio masks, xlnx,usb-reset
