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 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel