Device Tree

The Device Tree is a data structure for describing hardware so that the details do not have to be hard coded in the operating system. This data structure is passed to the operating system at boot time. Use Xilinx SDK to generate the device tree for the platform. For detailed instructions on how to build the device-tree refer to the Build the Device Tree Compiler link on the Xilinx Wiki at wiki.xilinx.com to download the device tree generator support files, and install them for use with Xilinx SDK. There is one device tree per platform.

A small change is required to a device tree in order to make use of SDx:SDSoC in a booted linux system. You must manually add the following text at the bottom of the top-most device tree file:

/{
xlnk {
 compatible = "xlnx,xlnk-1.0";
 };
};

Important: Note, SDK will NOT automatically generate this change. You must manually add this to the top-level device tree file .

If PetaLinux is used to create Linux boot files, the device tree is included in the unified boot image file image.ub, rather than as a separate file.

Whether you provide an image.ub file, or separate Linux boot files (device tree, kernel, ramdisk), you will need to define the sdx:imageData attribute of the <sdx:image> element to specify the platform folder that contains these files:

sdx:imageData=image

Location: samples/platforms/zc702_axis_io/sw/image