Messages in this thread | | | Date | Wed, 25 Sep 2013 16:55:15 -0700 | From | John Stultz <> | Subject | Re: [RFC, PATCH] clocksource: provide timekeeping for efm32 SoCs |
| |
On 09/25/2013 04:49 PM, Daniel Lezcano wrote: > On 09/25/2013 05:32 PM, Uwe Kleine-König wrote: >> Hello Daniel, >> >> On Wed, Sep 25, 2013 at 04:33:24PM +0200, Daniel Lezcano wrote: >>> On 09/16/2013 11:44 AM, Uwe Kleine-König wrote: >>>> diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig >>>> index 41c6946..410b152 100644 >>>> --- a/drivers/clocksource/Kconfig >>>> +++ b/drivers/clocksource/Kconfig >>>> @@ -70,6 +70,14 @@ config CLKSRC_DBX500_PRCMU_SCHED_CLOCK >>>> help >>>> Use the always on PRCMU Timer as sched_clock >>>> >>>> +config CLKSRC_EFM32 >>>> + bool "Clocksource for Energy Micro's EFM32 SoCs" if !ARCH_EFM32 >>>> + depends on OF && ARM && (ARCH_EFM32 || COMPILE_TEST) >>>> + default ARCH_EFM32 >>>> + help >>>> + Support to use the timers of EFM32 SoCs as clock source and clock >>>> + event device. >>>> + >>> No option for the timer. It must be selected by the platform. >> It is. If ARCH_EFM32=y there is no prompt and the "default ARCH_EFM32" >> makes it true. > ok, with that but if ARCH_EFM32=no, you can enable it manually. AFAIK, > we want to prevent this and let the correct arch to enable it. > > John ?
Right until there's really a compelling reason (which I've still not heard), I don't want to introduce independent clocksource options. Any such options should be something like a platform or board config option.
thanks -john
-- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |