diff options
| author | eivind <eivind@FreeBSD.org> | 1998-02-16 23:57:49 +0000 |
|---|---|---|
| committer | eivind <eivind@FreeBSD.org> | 1998-02-16 23:57:49 +0000 |
| commit | a5daa0b2f8beb2eaeb345445f2aa7a9bcba0e465 (patch) | |
| tree | b186e08b47a8f9bd8e0b0c2d8cb63d115228605b /sys/conf | |
| parent | c7b0dc2cbbd7ef60752fa3f16bbc6e6fd82ca94f (diff) | |
| download | FreeBSD-src-a5daa0b2f8beb2eaeb345445f2aa7a9bcba0e465.zip FreeBSD-src-a5daa0b2f8beb2eaeb345445f2aa7a9bcba0e465.tar.gz | |
Add HW_WDOG to LINT, and turn it into a new-style option.
Diffstat (limited to 'sys/conf')
| -rw-r--r-- | sys/conf/NOTES | 8 | ||||
| -rw-r--r-- | sys/conf/options | 3 |
2 files changed, 9 insertions, 2 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index a551633b..203eea0 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.406 1998/02/11 20:47:42 dima Exp $ +# $Id: LINT,v 1.407 1998/02/13 13:00:01 phk Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -1381,6 +1381,12 @@ options GATEWAY # might want to use this option. options NO_LKM +# +# Add tie-ins for a hardware watchdog. This only enable the hooks; +# the user must still supply the actual driver. +# +options HW_WDOG + # More undocumented options for linting. options CLK_CALIBRATION_LOOP diff --git a/sys/conf/options b/sys/conf/options index 12a568b..bb3addc 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -1,4 +1,4 @@ -# $Id: options,v 1.59 1998/02/06 12:41:39 eivind Exp $ +# $Id: options,v 1.60 1998/02/12 18:02:04 eivind Exp $ # Format: # Option name filename @@ -14,6 +14,7 @@ GDB_REMOTE_CHAT opt_ddb.h DEVFS DEVFS_ROOT opt_devfs.h FAILSAFE +HW_WDOG KTRACE MD5 MFS_AUTOLOAD opt_mfs.h |
