Has anyone encountered a standalone gdb server? That is gdb server that runs on a bare metal.
I've been looking for sources to build one. Doesn't need to be ARM, but that might help.
Maybe someone has come across a document explaining how gdb server really works?
(It might help in reading the 'standard' gdb server code.)
I understand that 'stub' means "gdb server" linked into the executable, but I'd like to have a server with which I could upload programs onto the board for debugging through the network or serial IF.
My main concern is attaching to the program to be debugged, when there is no OS (and no processes).
Yes, I'm after the option #3.
RasPi has a bootloader, but it's for the GPU. The GPU reads in the boot code for the ARM, and it doesn't include any debugging facilities. That code basically initializes the ARM-side and reads in the kernel from the memory card. To boot your own SW, you just generate a binary image and put it onto the memory card as 'kernel.img'.
Asking from OpenOCD-guys is a good idea.
Liviu Ionescu replied to my query on the OpenOCD mailing list ... I asked for a lightweight GDB remote server.
"RedBoot also includes a GDB server, accessible via Ethernet and serial, but I don't know if it qualifies as 'Lightweight'."
I think that RedBoot might sound interesting ?