Added a reasonable default frequency for the xilinx timer (the 62MHz from s3adsp machine model).
Signed-off-by: Peter A. G. Crosthwaite <peter.crosthwa...@petalogix.com> --- hw/xilinx_timer.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/hw/xilinx_timer.c b/hw/xilinx_timer.c index 3ab2f2b..e9fde28 100644 --- a/hw/xilinx_timer.c +++ b/hw/xilinx_timer.c @@ -220,7 +220,7 @@ static int xilinx_timer_init(SysBusDevice *dev) } static Property xilinx_timer_properties[] = { - DEFINE_PROP_UINT32("frequency", struct timerblock, freq_hz, 0), + DEFINE_PROP_UINT32("frequency", struct timerblock, freq_hz, 62 * 1000000), DEFINE_PROP_UINT32("nr-timers", struct timerblock, nr_timers, 0), DEFINE_PROP_END_OF_LIST(), }; -- 1.7.3.2