We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 56967

SDK 2013.2 Linux Device Tree Generator - Kernel Fails to Boot


I am using the latest Vivado 2013.2 with SDK and attempting to build a custom DTS using the Device Tree Generator. I can get the kernel to boot if I use the DTS provided in the xilinx github branch, but not when I use a DTS file generated from the SDK.

Is this something I have to configure when creating a Zynq block within Vivado? Or, is it missing from the generation of the DeviceTree?


In Vivado Design Suite 2013.2, the TTC is not enabled by default. As a consequence, the default XML for the 702 in XSDK lacks the TTC; as a consequence of that, the DTG does not emit it and the kernel fails to boot.

The same behavior is observed if the user selects a pre-build hardware platform from SDK.


  • Re-build your hardware including the TTC.


  • Copy the TTC node from one of the kernel DTS files.
AR# 56967
Date Created 07/22/2013
Last Updated 12/16/2013
Status Active
Type Known Issues
  • Zynq-7000
  • EDK - 14.6
  • PetaLinux SDK - 2013.04
  • Vivado Design Suite - 2013.2
  • PetaLinux SDK