A nice quick tip is that you can also boot over JTAG which is a bit less of a hassle. Just have the board connected to some JTAG, typically over the USB/Serial connection/cable on dev boards.
From the petalinux project root:
petalinux-build
petalinux-package --boot --fsbl images/linux/zynq_fsbl.elf --u-boot --fpga images/linux/system.bit --force
petalinux-package --prebuilt --force
petalinux-boot --jtag --prebuilt 3
And connect to it normally over the serial cable. The base image is something like 16MB. so its not too bad to load onto to it with JTAG, but if the image starts to get larger from packages whatnot it might take a while, and depending on the RAM, I'm not sure if it will load at all.
I still can't get TFTP boot to work, so JTAG will have to do for me for now.
