Hi Haojian,
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/166... 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): -
http://www.adafruit.com/products/1675?utm_source=contextly&utm_medium=mo...
and
http://www.adafruit.com/products/2094?utm_source=contextly&utm_medium=mo...
Which should allow me to interface from a <insert-ftdi-based-jtag-device-here> to HiKey.
regards,
Peter.