You'll see the prior step generate coresponding DTS file.

You may review the DTS file, subsystems/linux/hw-description/system.dts, under your PetaLinux 2013.10 project.