What's the current method for debugging kernels?

    genius# gdb -k /usr/obj/usr/src/sys/GENIUS/kernel.debug 
5d079ab35c111057dbbf8f242940bbad.core
    GNU gdb 4.18
    Copyright 1998 Free Software Foundation, Inc.
    GDB is free software, covered by the GNU General Public License, and you are
    welcome to change it and/or distribute copies of it under certain conditions.
    Type "show copying" to see the conditions.
    There is absolutely no warranty for GDB.  Type "show warranty" for details.
    This GDB was configured as "i386-unknown-freebsd"...
    IdlePTD at phsyical address 0x004b1000

    kernel symbol `dumppcb' not found.
    Attaching to program: /usr/obj/usr/src/sys/GENIUS/kernel.debug, process 5

    ptrace: Invalid argument.
    (kgdb) quit

Is this something I'm doing wrong, or it is a bug somewhere?   What's
'dumppcb'?

Joe

Attachment: msg37044/pgp00000.pgp
Description: PGP signature

Reply via email to