[PATCH] clocksource: arm_global_timer: Allow DT to specify already reset timer counter

[Jassi Brar]

On 17 December 2015 at 15:46, Daniel Lezcano <daniel.lezcano at linaro.org> wrote:

> I don't know if there is a better way than a kernel parameter but IMO it
> makes sense to pass this kind of options via the kernel command line as we
> can extend it easily for more options in the future.
>
I agree, for such 'soft' properties, cmdline is a better option.

Thanks.