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

Boot
1

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.

Martin

2

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!