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. > 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. Samuel
