kernel: Add mps(4) to our GENERIC kernels.
[dragonfly.git] / sys / config /
drwxr-xr-x   ..
-rw-r--r-- 12114 GENERIC
-rw-r--r-- 92149 LINT
-rw-r--r-- 82741 LINT64
-rw-r--r-- 6147 SOEKRIS
-rw-r--r-- 3624 VKERNEL
-rw-r--r-- 3561 VKERNEL64
-rw-r--r-- 11174 X86_64_GENERIC