On Mon, 31 Jul 1995 13:11:53 -0600 
 Chris Jones <cjones@rupert.oscs.montana.edu> wrote:

 > How do I disable the kernel debugger?  I'd like my machine to go ahead
 > and do the core dump, but then immediately reboot, all without need
 > for human intervention.

Remove the `options DDB' from your kernel config file, re-run config, 
and `make clean; make depend; make' the kernel.

--------------------------------------------------------------------------
Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                               Home: 408.866.1912
NAS: M/S 258-6                                          Work: 415.604.0935
Moffett Field, CA 94035                                Pager: 415.428.6939