On 09/12/2013 09:33 AM, John Crispin wrote: > On 12/09/13 09:28, Lars-Peter Clausen wrote: >> 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 > > Hi, > > in theory yes, but the r4k csrc is coded in a way that it always assumes to > always be present and always be running. > And it is not present when the GIC clocksource is present?
