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
msg37044/pgp00000.pgp
Description: PGP signature