[PATCH v2] Raspberrypi: updated the console interface.

[Chris Johns]

On 29/12/19 8:03 pm, Christian Mauderer wrote:
> - You can use a real hardware debugger for it. That's what I currently
> do - also qemu + gdb could be more powerfull. For that you basically
> connect the Alt4 pins (see https://pinout.xyz/pinout/jtag) to a hardware
> debugger (something supported by OpenOCD, Segger J-Link, ...) add
> "gpio=22-27=a4" to your config.txt and load a very minimal kernel that
> does just an endless loop. Note that I had some trouble debugging more
> than one core with my debugger.

This is really valuable information, thank you. It would be nice to see it in
the BSP section of the user manual :)

Chris