As per hardware guide of carried board and SOM, found that under section "User I/O", PS_MIO47, PS_MIO50, PS_MIO51 connected on carrier board at PS_LED1, PS_LED2 for LEDs and PS_PB1 (SW6) for push button. Hope this is correct.
Please let me know which is the gpio pins for LEDs and SW6 push button and how to test LED blinking and catching push button event from linux's userspace.
Here are other information from Linux's side:
The sample kernel (4.9) supports zynq GPIO driver(CONFIG_GPIO_ZYNQ).
From /sys/class/gpio/gpiochip906 (xlinx-zynq) which has 118 pins for exporting at user-space (range:906 - 1023).
Also possible to toggle (on and off) LED (D10) of Carrier card where the gpio pin number is 953. Below are commands:
echo 953 > /sys/class/gpio/export
echo out > /sys/class/gpio/gpio953/direction
echo 0 > /sys/class/gpio/gpio953/value
echo 1 > /sys/class/gpio/gpio953/value
But couldn't identify gpio pin for other LED (D11) amd push button PS_PB from Linux's userspace.