I am searching at http://microzed.org/reference-designs-categories/petalinux-board-support-packages and cannot find the petalinux BSP for the zedboard, only microzed and picozed.
Also, those really should be renamed since you cannot tell if it is a microzed or picozed BSP unless you click "read more". They are all just say "Petalinux 2016.2 Compressed BSP, z70x0" without saying the board type.
