Cyclone V SoC devkit : GPIO

Hi,

I am working on the HPS of the Cyclone V SoC devkit.

I would like to use HPS GPIO pins (to activate a led) but it seems that all the GPIOs are already used on the devkit. Anyway, I have tried to export gpio171 in userspace and to set the state to 0 with an “echo out > direction” and an “echo 0 > value” but the value remains 1, I can’t change it. I also tried with other gpio numbers, but still the same problem.

Please let me know if you think I missed something or If you know a way to change the state of GPIOs in userspace.

Thanks