I have been reading about the Linux GPIO interface. I was wondering if there was a way to know which number GPIO to append to the /sys/class/gpio/export file in PetaLinux to access the GPIOs controlling the three LEDs on the Zynq 7100 board.
exportfd = open("/sys/class/gpio/export", O_WRONLY);
if(exportfd < 0)
printf("Cannot open GPIO to export it\n");
write(exportfd, "<WHAT NUMBER CORRESPONDS TO LEDS?>", 4);