olimex-lpc2378
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.