Hello, I need help on how to write a simple routine in C to turn on and off the general purpose diagnostic LED's of the iMX51 EVK board. I am developing under Linux. Any help appreciated.