xilinx_timer: added default frequency

Added a reasonable default frequency for the xilinx timer (the 62MHz from
s3adsp machine model).

Signed-off-by: Peter A. G. Crosthwaite <peter.crosthwaite@petalogix.com>
Signed-off-by: Edgar E. Iglesias <edgar.iglesias@gmail.com>

diff --git a/hw/xilinx_timer.c b/hw/xilinx_timer.c
index 3ab2f2bb032e9ef81e0859e7445c29317ee3e6d0..e9fde2870dd3f5203d0bae6336e2befd5999682a 100644 (file)
--- 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(),
 };