On Mon, Mar 11, 2013 at 10:15:06AM +0100, Steffen Trumtrar wrote: > With clkdev in place the generic arm_smp_twd can be used. > Oh! Hmm. So, you add the clocksource driver in a previous patch, and remove it here. I'd recommend rebasing this patchset to remove this intermediate state. Josh