Jachym,

> Can you please see if the diff below helps? I don't have a chance to
> test on the ML403 rigt now and my MOAB didn't arrive yet.
>   
Working perfectly! You should commit it.

See log:

(gdb) set remotebaud 38400
(gdb) target remote /dev/tty00
Remote debugging using /dev/tty00
kgdb_connect (verbose=<value optimized out>)
    at /usr/src/sys/arch/powerpc/powerpc/kgdb_machdep.c:274
274             if (verbose && kgdb_active) {
warning: no shared library support for this OS / ABI
(gdb) bt
#0  kgdb_connect (verbose=<value optimized out>)
    at /usr/src/sys/arch/powerpc/powerpc/kgdb_machdep.c:274
#1  0x00241434 in initppc (startkernel=151552, endkernel=7602176)
    at /usr/src/sys/arch/evbppc/virtex/machdep.c:269
#2  0x00025128 in kernel_text ()
(gdb) n
275                     printf("kgdb connected.\n");
(gdb)

Bye,

Jeff.