[Adeos-main] adeos_tune_timer()

[Wolfgang Grandegger]

Hello,

the function adeos_tune_timer() allows to change the tick frequency of
the hardware timer. I wonder if Linux is aware of this change? Doesn't
it still believe that the timer interrupt comes at a rate of 100 Hz?

Wolfgang.