On Fri, Nov 02, 2007 at 11:08:19PM +0100, Thomas Bogendoerfer wrote: > On Fri, Nov 02, 2007 at 12:20:01PM +0000, Ralf Baechle wrote: > > One thing I'm still wondering about, does the kernel actually go tickless > > for you? > > a kernel with CONFIG_NO_HZ boots and acts normal. But it looks like > the PIT is still ticking at the selected 100HZ... I think this happens because the R4030 clockevent device has a rather high rating of 300 while the PIT because of an omission or intension doesn't set it's rating at all so has rating of 0. So Linux prefers the R4030. You can see which clockevent device is actually getting used by Linux in /proc/timer_list. Ralf
