• Petalinux sd card setup