From: Peter A. G. Crosthwaite <peter.crosthwa...@petalogix.com> Change the timer clock frequency to 133MHz which is correct. the old 2.5MHz value was for the pre-silicon emulation platform.
Signed-off-by: Peter A. G. Crosthwaite <peter.crosthwa...@petalogix.com> Signed-off-by: Peter Maydell <peter.mayd...@linaro.org> --- hw/cadence_ttc.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/hw/cadence_ttc.c b/hw/cadence_ttc.c index 2b5477b..dd02f86 100644 --- a/hw/cadence_ttc.c +++ b/hw/cadence_ttc.c @@ -405,7 +405,7 @@ static int cadence_ttc_init(SysBusDevice *dev) int i; for (i = 0; i < 3; ++i) { - cadence_timer_init(2500000, &s->timer[i]); + cadence_timer_init(133000000, &s->timer[i]); sysbus_init_irq(dev, &s->timer[i].irq); } -- 1.7.1