Xilinx has tutorials that document the features of the PetaLinux toolchain, updated for 2014.4. They are:
UG1144: Tools Reference Guide
UG1155: Boot Checklist
UG1156: Workflow Tutorial
UG1157: Command Line Guide
We have augmented these instructions to cover some non-standard procedures, such as loading a bitstream with u-boot from secondary storage in the Application Note on Booting Picozed using QSPI and eMMC, found under the PicoZed Reference Designs. The note is targeted at PicoZed specifically, but the instructions (other than eMMC specific topics) are applicable to any Zynq target.
