> Is it possible to have a BIN file downloaded into flash as part of the debug process via gdb/OpenOCD, but then load the elf file subsequently via gdb?
I think this doesn't make much sense, the *.bin and *.ELF file basically contain the same information, and produce the same result (i.e. Flash content).
ELF files contain a lot of meta information reuired for debugging. Bin files do not.
> Also, where can I find what version of gdb is used when “GDB Server” is selected as the debugger?
> What arguments are sent to gdb and can these be inspected or changed?
Right-click on your project, select "Options", and select Debug/GDB server in the window that opens.
This should give you all the information you need.
(A screenshot upload did not work, so it has to work without ...)
I don't know if SES uses a pre-installed gdb or installs it's own version nonetheless.
Perhaps someone from the Segger staff can answer that.
To me, it looks like the former, i.e. using a preinstalled gdb.
Emitting "gdb --version" on the command line yields "GNU gdb (Ubuntu 9.2-0ubuntu1~20.04.1) 9.2".
And "which gdb" yields "/usr/bin/gdb".