K 10 svn:author V 2 gj K 8 svn:date V 27 1997-04-27T21:36:49.000000Z K 7 svn:log V 161 change kvm-fbsd.c so that kernel debugging works again. document the -k and -wcore options in the manpage. change Makefile to use a local copy of the manpage. END