Debugging options for BBAI64

Maybe you can try to use openocd’s dmem driver to create a gdbserver, so that you can debug R5 core programs without a hardware debugger. The original link is here:

  1. Minimal Cortex-R5 example on BBAI-64 - #21 by Nishanth_Menon
  2. https://review.openocd.org/c/openocd/+/7088/8