On 09/11/2013 09:51 PM, Steven J. Hill wrote: > From: Leonid Yegoshin <Leonid.Yegoshin@xxxxxxxxxx> > > If CONFIG_CSRC_GIC is selected and the GIC is not found during > boot, then fallback to the R4K counter gracefully. Is there any reason not to always register the r4k clocksource, no matter whether the gic clocksource is present or not? The timekeeping core of the kernel will make sure to use the best available clocksource based on the clocksource's rating. - Lars
