On Wed, Sep 25, 2013 at 04:55:15PM -0700, John Stultz wrote: > 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. You can only manually enable it if you also enabled COMPILE_TEST. Then the intention is clear, isn't it?
Best regards Uwe -- Pengutronix e.K. | Uwe Kleine-König | Industrial Linux Solutions | http://www.pengutronix.de/ | -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
