On Fri, 2007-09-21 at 13:26 +1000, Tony Breeds wrote: > + > + if (__USE_RTC()) > + clock = &clocksource_rtc; > + else > + clock = &clocksource_timebase; > + > + clock->mult = clocksource_hz2mult(tb_ticks_per_sec, > clock->shift); I don't think the RTC frequency isn't the same as the timebase? Seems like the RTC only case about seconds at the lowest level. If that's the case then the jiffies clock might be better to use .. The other thing I wonder is if the __USE_RTC boards might have lower level clocks that could be used instead .. Daniel - To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html