somebody wanted to be able to change tickadj via adjtimex(). As this
is really no big affair, I wanted to ask for opinions.
The current value, 500/HZ, corrects 0.5ms per second. With some
phantasy values up to 500000/HZ are thinkable. Some popular kernels
use about 600 (60000/HZ).
Increasing tickadj will make the time change faster. Precision
adjustments should be unaffected.
Ulrich
P.S. Not subscribed here; please CC: