On Thursday 07 November 2013, Sebastian Hesselbarth wrote: > I haven't looked deeper into this, but I guess it will not be hard > to make ARM_TWD independent of SMP. Yes, I agree. Just make sure to look at the list archives to see if someone already did that work. Arnd