this is the explanation of the 'CONFIG_HIGH_RES_TIMERS' from the 'make
menuconfig':
"This option enables high resolution timer support. If your hardware is
not capable then this option only increases the size of the kernel image"
but the question is, how someone can find out, if his hardware is capable?
cheers,
doc