The pre-configured PetaLinux BSPs for some evaluation boards are available from the Xilinx Downloads page:
http://www.xilinx.com/support/download/index.htm
Within these BSPs there are pre-built images for boot/demonstration in their respective BSP installation directories.