Kernel timer patch.

[Dennis Wicks]

Greetings;

Some time ago ther was mention of the timer patch being
available. Is it on the debian site? If so where and how
do I apply it?

TIA,
Dennis