Overview
This page presents how to generate the device tree source and how to compile it to a device tree blob file that Linux needs.
For detailed information about the Device Tree Generator see
Device Tree Generator User Guide.
Prerequisites
The following items are required:
Procedure
1. Compile the GHRD as described in
Compiling the Hardware Design to obtain the .sopcinfo file.
2. Start an Embedded Command Shell and go to GHRD folder (assumed here to be saved in the home folder):
$ ~/altera/13.1/embedded/embedded_command_shell.sh
$ cd ~/sockit_ghrd
3. Run the Device Tree Generator
$ sopc2dts --input soc_system.sopcinfo\
--output socfpga.dts\
--board soc_system_board_info.xml\
--board hps_clock_info.xml
This will generate the file
sockit_ghrd/socfpga.dts.
4. In order to compile the Device Tree Source file and obtain the Device Tree Blob file run the following command:
$ dtc -I dts -O dtb -o socfpga.dtb socfpga.dts
This will generate the file
sockit_ghrd/socfpga.dtb. that is required by Linux to boot.