> 	gdb -w is not able to change values of variables in a kernel.
> 	i used to use `gdb -k -w /netbsd' to do this, but there is no
> 	`-k' to gdb anymore, and you can't do `target kcore' with no
> 	core file :(

In later versions of gdb, -w was changed to --write.  (-w was taken to
mean 'use windows', the opposite of -nw.)


gdb -k /netbsd tells you:

brick# gdb -k /netbsd
-k: obsolete option.  For kernel debugging, start gdb
with just the kernel name as an argument (no core file)
and then use the gdb command `target kcore COREFILE'.


As for 'target kcore':

(gdb) help target kcore
Use a kernel core dump file or live kernel as a target.
Specify the filename of the core file or /dev/mem for the live kernel.


> 	fix gdb (again).

Is there anything left to fix?  (Maybe documentation, but GDB seems to
be working just fine, at least on my i386...)


cgd