@whitequark This does not surprise me. But in my previous attempt I could not find even a basic list of steps like this.
I can disassemble/write the machine code. But I don't know how to do so "for gdb".
We do not use elf. The code is just a binary file with machine code that gets loaded into an FPGA RAM.
We have not written a compiler. Everything is written in assembly. I would aim for assembly level debug only. I wonder if this makes it easier or harder.
Tedious/thankless sounds right.