Hello, I am trying to control (turn on and off) the "General-purpose diagnostic LED's" of my iMX51 EVK board programatically using C. I am developing under Linux (u-boot). Any help appreciated.