On 11/06/2016 at 11:43:54 +0200, Thomas Gleixner wrote :

On Sat, 11 Jun 2016, Alexandre Belloni wrote:

quoted

With the new TCB clocksource driver, atmel platforms are now able to boot
without the PIT driver. Allow unselecting it.

Yay! Thanks for doing this!

Sure! Can you still check the request_irq/free_irq in
timer-atmel-tcbclksrc? I'm not sure whether this can work reliably or
only because we are before SYSTEM_STATE=RUNNING.
In the latter case, I have another way of doing that.

-- 
Alexandre Belloni, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com