Linux kernel bug fix: clocksource/drivers/timer-microchip-pit64b: Select CONFIG_TIMER_OF
Subsystem: drivers (drivers/clocksource/Kconfig)
Bug type: unknown, severity: low
Files changed: drivers/clocksource/Kconfig
Introduced by Claudiu Beznea on 2020-01-16 19:06:57 +0100; fixed by Michael Ellerman on 2020-04-27 08:59:50 +0200 (lifetime: 101 days)