Add kbdmux to LINT.
authorSascha Wildner <saw@online.de>
Sat, 12 Sep 2009 14:27:10 +0000 (16:27 +0200)
committerSascha Wildner <saw@online.de>
Sat, 12 Sep 2009 14:27:10 +0000 (16:27 +0200)
sys/config/LINT

index be08955..5e2995b 100644 (file)
@@ -1111,6 +1111,8 @@ options   PSM_HOOKRESUME          #hook the system resume event, useful
                                        #for some laptops
 options        PSM_RESETAFTERSUSPEND   #reset the device at the resume event
 
+device         kbdmux                  # keyboard multiplexer
+
 # The video card driver.
 device         vga0    at isa?