On 05/05/2026 20:04, Samuel Thibault wrote:
Hello,
Michael Kelly, le mar. 05 mai 2026 19:43:40 +0100, a ecrit:
Might it be possible instead to make gdb "gnumach aware" somehow through use
of a gdb plugin or similar?
Usually one rather makes gnumach gdb-aware, by adding a gdbserver, so
gdb can inspect it at will.
Note that qemu can do that for you, see the "GDB in QEMU" section of
microkernel/mach/gnumach/debugging on the wiki.
I have done that on occasion but I'm rather thinking of the case where a
gnumach thread is stuck awaiting an event which never happens. How can
you switch context to that thread and view its stack and so on?
That would be realistic for virtual machines
using Qemu but perhaps not so much for real hardware using a serial port.
Are serial ports even available for real machines these days?
On servers, often, otherwise it's USB dongles.
For debugging kernels one usually uses virtual machines anyway.
Yes, perhaps that's true for all kernels.
Cheers,
Mike.
