To make it easy to test sysbus hotplug with the published Microblaze test image. The timer can be added using device_add etc.
On your command line: -device xlnx.xps-timer,\ sysbus-mr-0.container=/machine/sysmem/root-mr,\ sysbus-mr-0.addr=0x83c00000,\ sysbus-irq-0=/machine/intc/unnamed-gpio-0 Signed-off-by: Peter Crosthwaite <peter.crosthwa...@xilinx.com> --- hw/microblaze/petalogix_s3adsp1800_mmu.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/hw/microblaze/petalogix_s3adsp1800_mmu.c b/hw/microblaze/petalogix_s3adsp1800_mmu.c index 8557254..74d7f05 100644 --- a/hw/microblaze/petalogix_s3adsp1800_mmu.c +++ b/hw/microblaze/petalogix_s3adsp1800_mmu.c @@ -116,6 +116,7 @@ petalogix_s3adsp1800_init(QEMUMachineInitArgs *args) sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, UARTLITE_BASEADDR); sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, irq[UARTLITE_IRQ]); +#if 0 /* 2 timers at irq 2 @ 62 Mhz. */ dev = qdev_create(NULL, "xlnx.xps-timer"); object_property_add_child(qdev_get_machine(), "timer", OBJECT(dev), @@ -125,6 +126,7 @@ petalogix_s3adsp1800_init(QEMUMachineInitArgs *args) qdev_init_nofail(dev); sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, TIMER_BASEADDR); sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, irq[TIMER_IRQ]); +#endif qemu_check_nic_model(&nd_table[0], "xlnx.xps-ethernetlite"); dev = qdev_create(NULL, "xlnx.xps-ethernetlite"); -- 1.9.3.1.ga73a6ad