Hello, I am having a hard time figuring out how to access GPIO pins from linux. According to the documentation, you need to first export pin using; \ = ((\ - 1) * 32 ) + \ In the documentation, as an example, it uses GPIO1_IO_25; \ = ((1 - 1) * 32) + 25 = 25; Now I am trying to export pin 13. I believe this is the pin connected to the orange led. Pin 13 according to the document is GPIO_102. using the formula; (0-1) * 32 + 102 = 70 After this, I can do, echo 70 > /sys/class/gpio/export which will create a new folder callged gpio70. trying to print the "value" of this pin returns either 0 or 1. it is not consistent and it doesn't relate to the actual value of the pin. I have the arduino send LOW to this pin, and reading this value gives 1 at times and 0 the other. Any idea what I am doing wrong here?