phk 9939a83c59 Added a kernel variable, "dodump" defaulting to zero, which disables dumps.
Somebody should make a mib variable for it.
Just now it is pointless to dump the kernel, since we have nothing which
can read the dump.
Furthermore is should never be the default to dump.
	options	DODUMP
will enable dumps.
1994-11-07 03:51:32 +00:00
..
1994-03-21 20:48:52 +00:00
1994-11-05 07:41:08 +00:00
1994-10-25 19:34:57 +00:00