The easiest way to ensure that your Linux system is properly configured for the Zynq development platform is to use one of the pre-built PetaLinux BSPs.
These PetaLinux BSP's are available from the Xilinx Download Center (http://www.xilinx.com/support/download/index.htm) under the PetaLinux tab.
These BSP's can be installed using the instructions provided in the PetaLinux Getting Started Guide (UG977).
For custom hardware running on a Xilinx Zynq development platform, the pre-existing ZC702 and ZC706 device tree files (DTS) from the Xilinx Git repository can be referenced.
Note that some syntax proofreading may be necessary to ensure that DTS node and variable names are maintained.