Where is the source for the DL sd-card image Device Tree?

I’m using the Atlas Cyclone-V board.
The downloaded sd-card image has a device tree file “zImage-socfpga_cyclone5_de0_sockit.dtb”.
Also on the sd-card image is “soc_system.dts”. The latter is not the source for the former!

The former works but the latter has “issues” and any Quartus generated dts/dtb has similar issues. So I would like to start from the source dts for the (working) zImage-socfpga_cyclone5_de0_sockit.dtb and edit it by hand.

Can anyone point me to the relevant dts file?

Thank you, in advance.


Never mind! I’ve discovered that the dtc compiler works backwards. Who knew? I assumed like most compilers it threw away information, but apparently not.

It gave me the sole .dts in all the world that seems to boot OK on my board. I hand-added my widgets and Presto!

I’m still amazed that the Quartus toolchain is unable to produce a functioning Device Tree!