Import ichwd(4) from FreeBSD
[dragonfly.git] / sys / config / LINT64
index b355517..93f892f 100644 (file)
@@ -382,6 +382,7 @@ pseudo-device       sppp                    #Generic Synchronous PPP
 pseudo-device  loop                    #Network loopback device
 pseudo-device  bpf                     #Berkeley packet filter
 pseudo-device  disc                    #Discard device (ds0, ds1, etc)
+pseudo-device  tap                     #Ethernet tunnel network interface
 pseudo-device  tun                     #Tunnel driver (ppp(8), nos-tun(8))
 pseudo-device  sl      2               #Serial Line IP
 pseudo-device  gre                     #IP over IP tunneling
@@ -2222,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
 
 #