I downloaded the Zedboard "PetaLinux for the Zynq®-7000 All Programmable SoC" from here:
 
http://zedboard.org/support/trainings-and-videos    
 
The problems is: the petalinux speedway training zip file only contains instructions. In the instruction pdfs, it is referring to labs but they are not in the zip files. So if there is a particular project that created the HDF and FSBL, it is not included in the download. So the whole training is useless, because they are referencing some lab that is not included in the zip file. Has anyone tried the above petalinux training and gotten anywhere with it?