On Mon, 2015-05-11 at 10:47 +0200, Daniel Lezcano wrote: > The general policy is to have non-prompted options in the clocksource's > Kconfig and let the platform's config to select the right components. If you want to stick to that policy here there's no reason to add CLKSRC_ST_LPC_TIMER_SCHED_CLOCK in this patch. It currently adds nothing, as it will always be equal to whatever value CLKSRC_ST_LPC will have, right? Paul Bolle -- To unsubscribe from this list: send the line "unsubscribe linux-watchdog" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html