I'm trying to do some simple GPIO in linux. If I have read things correctly (including schematics) I should be able to do the following to change the USERLED3 on the EVM:
-------------------
root@am3517-evm:~# cd /sys/class/gpio/
root@am3517-evm:/sys/class/gpio# echo 11 > export
root@am3517-evm:/sys/class/gpio# cd gpio11
root@am3517-evm:/sys/class/gpio/gpio11# echo out > direction
root@am3517-evm:/sys/class/gpio/gpio11# echo 0 > value
root@am3517-evm:/sys/class/gpio/gpio11# echo 1 > value
root@am3517-evm:/sys/class/gpio/gpio11# echo 0 > value
------------------
However, that doesn't work and if I try just reading the value of the pin it gives 0, but should be a 1. I've also tried GPIO31 and GPIO 135.
I tried this both booting the SD card that came with the kit and with a kernel that I built.
Am I missing something?