On Nov 20 2018, Linus Walleij <linus.walleij@xxxxxxxxxx> wrote:
Yes you already see the same as I see: this chip MK68901 has no less than four timers. I bet the kernel is just using one of them, out of habit.
Note that not all timers can be used freely. Some of them are hardwired to generate the clock for the serial interfaces. Andreas. -- Andreas Schwab, schwab@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."