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