04-25-2006, 10:04 AM
Sounds like the kernel is compiled at 250hz. I ran debian once and I thought mine was at 1000hz, but I could be wrong. The only way that I can think of would be to recompile the kernel and set the kernel timer frequency to 1000hz.
-Jon-
-Jon-