K 10 svn:author V 3 phk K 8 svn:date V 27 1994-11-07T03:51:32.000000Z K 7 svn:log V 299 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. END