Replace TIMER_USE_1 kernel option with hw.i8254.walltimer tunable.
[dragonfly.git] / sys / dev / pccard /
drwxr-xr-x   ..
-rw-r--r-- 135 Makefile
drwxr-xr-x - cardbus
drwxr-xr-x - exca
drwxr-xr-x - pccbb