diff options
| author | Eivind Eklund <eivind@FreeBSD.org> | 1998-02-16 23:57:49 +0000 |
|---|---|---|
| committer | Eivind Eklund <eivind@FreeBSD.org> | 1998-02-16 23:57:49 +0000 |
| commit | d94f38ace2d2a653ca4ed0a58e7d5e201449b06a (patch) | |
| tree | 854021dd4ca4fe60e436e9d7e0d03015cdb744e5 /sys/conf | |
| parent | 42be88e88d6ffeebd48924502ce67d93fab7309d (diff) | |
| download | src-d94f38ace2d2a653ca4ed0a58e7d5e201449b06a.tar.gz src-d94f38ace2d2a653ca4ed0a58e7d5e201449b06a.zip | |
Add HW_WDOG to LINT, and turn it into a new-style option.
Notes
Notes:
svn path=/head/; revision=33445
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 a551633bc4ab..203eea0ef326 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 12a568b60568..bb3addc0d1e0 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 |