We don't have any JTAG debugger. Only UART console and LEDs are our friends.
OK thanks for the info. It looks like I maybe going where no JTAG has gone before ;-)
All,
I'm looking at buying some FTSH-105-01-L-DV connectors.
Farnell sale them here http://uk.farnell.com/samtec/ftsh-105-01-l-dv/header-1-27mm-smd-10way/dp/1667759 and they are in stock. However minimum UK order via debit / credit card with Farnell is £20, so I will end up with ~17 connectors. So if anyone wants one and doesn't mind waiting I will have some spare to give away at connect.
You can buy them on ebay for about £4.50 each, but there are 4 Linaro people in Bristol, which takes us close to £20, plus my soldering isn't very good so I might need more than one.
In case anyone else is wishing to go down the same route, I've also bought (thanks to Lees research): -