How was fpga.dts on de10-standard GHRD generated?

Hi Anand,

Thanks for the reply. Step 5 will generate a socfpga_new.dtb file where dtb = device tree blob.

However, when I look at the DE10-Standard_User_Manual.pdf, Section 9.2, in order to configure the FPGA after Linux Console boot, two files are required. FPGA device tree overlay (fpga.dtbo) and the FPGA configuration bitstream (soc_system.rbf).

I understand how to obtain the soc_system.rbf.

Section 9.2 also mentions issuing the following command:

dtc -O dtb -o fpga.dtbo -b 0 -@ fpga.dts

I copied the fpga.dts from the DE10_Standard_GHRD example, but for my own FPGA configuration how do I generate the fpga.dts. I think it is different from generating a soc_system.dts with sopc2dts (or is it!??!). Also, why is it that a device tree blob overlay(.dtbo) is needed instead of a .dts?

Thanks,

Raul