I am using an am335x chip and I would like to set a gpio pin to a certain value at boot time. It is my understanding that you can assign default values to a gpio pin in the device tree. This would be perfect. However, all my searching on the web has turned up 0 examples on how to do this. Can anyone provide me an example of how to go about doing this? I am using SDK 7 with kernel version 3.12.