Gary Jennejohn 3e3d6b2e21 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.
1997-04-27 21:36:49 +00:00
..
1997-02-22 15:48:31 +00:00
1997-02-22 15:48:31 +00:00
1997-02-22 15:48:31 +00:00
1993-06-18 04:22:21 +00:00
1993-06-18 06:05:45 +00:00
1997-02-22 15:48:31 +00:00