Timer 0 is used as free-running clocksource, while timer 1 is used as
clock_event_device.
Signed-off-by: Gregory CLEMENT <redacted>
Signed-off-by: Thomas Petazzoni <redacted>
Signed-off-by: Lior Amsalem <redacted>
Looks fine to me, but you forgot to Cc the clocksource maintainers.
This will need an Ack from John and/or Thomas.
Arnd