Remove options that don't make sense for a vkernel, and make SMP default.
[dragonfly.git] / sys / config /
drwxr-xr-x   ..
-rw-r--r-- 10949 GENERIC
-rw-r--r-- 99308 LINT
-rw-r--r-- 9194 TINDERBOX
-rw-r--r-- 2880 VKERNEL