diff options
| author | dd <dd@FreeBSD.org> | 2001-06-10 00:30:49 +0000 |
|---|---|---|
| committer | dd <dd@FreeBSD.org> | 2001-06-10 00:30:49 +0000 |
| commit | 79f5a0e9f07e6741c1cb62673b86a958adb17463 (patch) | |
| tree | 9235e63c7e4b1e49affc912f34f0e6eb60a7d5a4 /sys/conf | |
| parent | d1446c987fa4c6ad457e09e10982a9b7ba93541e (diff) | |
| download | FreeBSD-src-79f5a0e9f07e6741c1cb62673b86a958adb17463.zip FreeBSD-src-79f5a0e9f07e6741c1cb62673b86a958adb17463.tar.gz | |
Document the PANIC_REBOOT_WAIT_TIME option.
PR: 22228
Submitted by: Keith Jones <keith@mithy.demon.co.uk>
Diffstat (limited to 'sys/conf')
| -rw-r--r-- | sys/conf/NOTES | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index 94f39f3..6b4332d 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -2794,6 +2794,12 @@ options SHMMNI=33 # a single process at one time. options SHMSEG=9 +# Set the amount of time (in seconds) the system will wait before +# rebooting automatically when a kernel panic occurs. If set to (-1), +# the system will wait indefinitely until a key is pressed on the +# console. +options PANIC_REBOOT_WAIT_TIME=16 + ##################################################################### # More undocumented options for linting. @@ -2844,8 +2850,6 @@ options NBUF=512 # Number of buffer headers options NMBCLUSTERS=1024 # Number of mbuf clusters -options PANIC_REBOOT_WAIT_TIME=16 - options PSM_DEBUG=1 options SCSI_NCR_DEBUG |
