Import ichwd(4) from FreeBSD
[dragonfly.git] / sys / config / LINT
index 7e2a363..88acc97 100644 (file)
@@ -2459,6 +2459,7 @@ options   DRM_LINUX
 #
 device         cmx             # Omnikey CardMan 4040 smartcard reader
 device         gpio            # Enable support for the gpio framework
+device         ichwd           # Intel ICH watchdog interrupt timer
 device         tbridge         # regression testing
 
 #