Import ichwd(4) from FreeBSD
[dragonfly.git] / sys / config / LINT64
index 4b87331..93f892f 100644 (file)
@@ -2223,6 +2223,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
 
 #