In picozed sdr kit using vivado i made a design with zynq processing system and axi gpio. in XDC file gave pin number of led on board. Exported the design to sdk and there wrote a code for LED togging. I program the bit file to fpga . In software icon of application project in sdk i right clicked and run as - launch on hardware. But leds are not blinking. Pls guide me what is missed by me?