K 10 svn:author V 7 wollman K 8 svn:date V 27 1995-05-12T19:17:31.000000Z K 7 svn:log V 196 The death of `options NODUMP'. Now the dump area can be dynamically configured (and unconfigured) on the fly. A sysctl(3) MIB variable is provided to inspect and modify the dump device setting. END