Vivado Design explains how to use a Vivado example design to create a Vivado project. This set of steps gives you the XSA file from Vivado to export. You can skip the manual steps and use this Tcl script to create an XSA directly.
PetaLinux Build explains how to create a PetaLinux project, and how to configure and build boot images.