There's not much here: EXT1 - P3 0:7 are used for LEDs. UEXT pin 3/4 -TXD2/RXD2- is UART2. The board I have has the revision '-' of LPC2378 even though I got the board more than 2 years after the chip revision was released :-( . I can't get NuttX to work if I fully enabled the MAM. I used FTDI ft232 usb-serial with nsh piping as seen on the screenshot.