Does anyone have board and dts files that contain i2c0-mux entry?

I was able to get a response from Terasic support and wanted to share it with others on this forum. Just as it is possible to generate a dtb file from a dts file, it is also possible to generate a dts file from a dtb file.

The instructions from Terasic support was:

Load the embedded_command_shell.sh environment provided by the SoC EDS tools. This environment provides the device tree compiler command dtc.

As you can see the socfpga.dtb in the SD card, please try to use the command: dtc -I dtb -O dts -o socfpga.dts socfpga.dtb to get the original .dts file.

The online guide: https://rocketboards.org/foswiki/documentation/devicetreegenerator131 shows how to generate the device tree, maybe you can take it as a reference.

The fpga.dtbo file is generated by the fpga.dts file in the Demonstration/SoC_FPGA / DE10_Standard_GHRD. The following command is used to generate the fpga.dtbo in the SoC EDS command shell.

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

dtc -I dts -O dtb -o soc_system.dtb soc_system.dts

Now, I'm able to see the details of the i2c0mux entry and will possible edit the hps_common_board_info.xml file to see if I can generate the dts file correctly for my own uses.