[U-Boot] iMX51 Diagnostic LED's how to control

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.