Genode + ARM + OpenOCD

[Hinnerk van Bruinehsen]

Hello,

I'm writing/porting a bunch of device drivers for an ARM board (am335x
based) for Genode/seL4.
I have an on chip debugger (flyswatter2) and can halt or resume the
board's operation via the OCD (so generally it seems to work).
Since you have successfully ported/written drivers for other boards
(imx6 for example), I've asked myself if you have some hints, that may
help me to get gdbi (ideally with OpenOCD) working.
Right now my problem is that I don't know what binary file I should open
gdb with, since using the resulting uimage file doesn't work for me.

If someone has some hints for me it would be greatly appreciated!

Have a nice holiday and presumably long weekend!

WKR
Hinnerk