Add new usb4bsd only devices to LINT/LINT64.
[dragonfly.git] / sys / config /
drwxr-xr-x   ..
-rw-r--r-- 13259 GENERIC
-rw-r--r-- 89079 LINT
-rw-r--r-- 82933 LINT64
-rw-r--r-- 6340 SOEKRIS
-rw-r--r-- 3473 VKERNEL
-rw-r--r-- 3345 VKERNEL64
-rw-r--r-- 12457 X86_64_GENERIC