Running Petalinux based linux system on Zedboard via jtag and SD card