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

[Jassi Brar]

On 17 December 2015 at 15:38, Marc Zyngier <marc.zyngier at arm.com> wrote:
...
> Why can't you
> simply get the firmware to *remove* the node from your device tree
> altogether?
>
... but Linux (on cpu1) and the other OS (on cpu0) both _need_ to use the GT.

Thanks.