PetaLinux is brand name used by Xilinx, it is based on Yocto and pretty decent mainstream kernel, what Petalinux adds is the HSI (Hardware Software Interface from Vivado) and special tools for boot image creation.

Online version of this manual and other related documents can be found at https://wiki.trenz-electronic.de/display/PD/PetaLinux+KICKstart

Table of Content

...

Petalinux Project Creation

Short HOWTO

Getting Linux working on Zynq is very simple, following steps are required

...

There should be no reason to modify any other files by editing them (most of them are generated and would be overwritten).

Additional Descriptions

References

1. PetaLinux Tools Documentation - Reference Guide (UG1144)
2. PetaLinux Tools Documentation - PetaLinux Command Line Reference (UG1157)

...