David Given wrote:
Yes, that's quite normal. (Although finding it on /dev/ttyUSB0 isn't --- USB0 is usually the JTAG port and USB1 is the serial console.)
I've done a bit of research and explained this. Recent Linux kernels apparently recognise JTAG ports explicitly and don't assign them a serial port. Instead you access them with openocd.
Now I just need to find out why the kernel doesn't boot. John