Hi. I'll take some tips about how I debug gnumach using GDB and Qemu, for my SMP development.
I usually execute remote debugging using Qemu with GDB. In my Qemu script, I added -s option to enable te debugging mode, and -S to pause the machine before startup.
With this, the machine starts without boot the system. After this, I start the debugging with
`gdb -ex 'target remote :1234' ./gnumach
where gnumach is the PATH to gnumach binary file.
I set the breakpoints where I want to stop, and then I type `run` to skip the pause and startup the machine.
If you runs gdb from the same directory where you store the gnumach sources, you can access to the functions by its name.
Other interesting tip is to disable kvm in Qemu script before debugging. If KVM is enabled, you must set the breakpoints using hardware breaks; with the physical or virtual address, depending of the booting stage.
And, once set the hardware break, you must remove It before continue (typing next or `step into` doesn't works over a hardware breakpoint).
You can get these address with objdump, and debug adding and remove hardware breakpoints, but it's a very lazy job; and makes even more difficult the debugging.
Disabling kvm in Qemu script, the machine is emulated by software, and you can debug It as a common application.
I don't debug at this way some months ago, so I can have some mistakes in the commands.
But these are some useful tips about how to debug it.