I used LTIB to build a Linux kernel for the Lite5200 board. The Linux kernel boots without any problems and I can run a hello world program that I compiled with LTIB's gcc toolchain.
What I would like to do now is to switch the general-purpose LEDs on the board on and off. However, I do not have any experience in hardware programming. The user manual says: "General purpose LEDs have been provided for debug and development purposes. The LEDs are driven by an inverting buffer connected to the MCU pins described in the following table", followed by a table in which LED 1 is mapped to the IRDA_RX pin of the CPU. How do I find the address of this buffer in my code?