After a lot of tinkering and trying various DTAppend changes which I don’t really understand, I think I found the solution:
I downloaded the latest CycloneV GHRD release (from https://releases.rocketboards.org/release/2017.10/gsrd/hw/cv_soc_devkit_ghrd.tar.gz) and peeked into the CycloneV board info files from it and added the following statements to my own board file:
<DTAppend name="reset-names" type="string" parentlabel="hps_0_gmac0" val="stmmaceth"/>
<DTAppend name="resets" parentlabel="hps_0_gmac0">
<val type="phandle">hps_0_rstmgr</val>
<val type="number">32</val>
</DTAppend>
<DTAppend name="reset-names" type="string" parentlabel="hps_0_gmac1" val="stmmaceth"/>
<DTAppend name="resets" parentlabel="hps_0_gmac1">
<val type="phandle">hps_0_rstmgr</val>
<val type="number">33</val>
</DTAppend>
<DTAppend name="altr,sysmgr-syscon" parentlabel="hps_0_gmac1">
<val type="phandle">hps_0_sysmgr</val>
<val type="hex">0x60</val>
<val type="number">2</val>
</DTAppend>
And now it works. I don’t know why thou, because I haven’t been able to find any documentation for it. Where can I find that?
The latest Device Tree Generator page is not updated. Would it be possible to update these pages please?