kgdb amd kernel debugging? Which serial config to use?

One for the panel. If anyone is doing kernel work then are you using kgdb or printk’s? With the 4.1 kernel I can get kdb to work in a SSH session with a connection via the serial port header but not from a remote GDB.

If anyone has got remote kgdb working could they share details of which port they are using and how it is configured? I’m assuming the best mechanism is another FTDI style USB->RS232 dongle connected to a UART via the main header?

There is also something called agent-proxy but I cannot work out if this is needed on both host and target machines.