resource manager: add optional resource id.
[dragonfly.git] / sys / config /
drwxr-xr-x   ..
-rw-r--r-- 11742 GENERIC
-rw-r--r-- 11645 JG64
-rw-r--r-- 100999 LINT
-rw-r--r-- 6193 SOEKRIS
-rw-r--r-- 3734 VKERNEL
-rw-r--r-- 10797 X86_64_GENERIC