kernel: Remove some no longer used options.
[dragonfly.git] / sys / config /
drwxr-xr-x   ..
-rw-r--r-- 12476 GENERIC
-rw-r--r-- 88833 LINT
-rw-r--r-- 82312 LINT64
-rw-r--r-- 6184 SOEKRIS
-rw-r--r-- 3473 VKERNEL
-rw-r--r-- 3345 VKERNEL64
-rw-r--r-- 11582 X86_64_GENERIC