Other Parts Discussed in Thread: GRACE, TPS65217
The 4.14 kernel from the recent processor SDK emits a CRITICAL-level message at boot, with the text "no matching timers found". From inspection of the code, it is not clear to me if this is actually an issue of any kind. Is this expected? Is it ok to ignore or demote a info-level log?
The relevant code is in drivers/clocksource/timer-probe.c, and still exists in mainline, so I was concerned that its level was more than an oversight.