@@ -141,6 +141,17 @@ static void ccat_init(uint32_t base)
sysbus_mmio_map(busdev, 0, base);
}
+static void ddr_ctrl_init(uint32_t base)
+{
+ DeviceState *dev;
+ SysBusDevice *busdev;
+
+ dev = qdev_new("zynq.ddr-ctlr");
+ busdev = SYS_BUS_DEVICE(dev);
+ sysbus_realize_and_unref(busdev, &error_fatal);
+ sysbus_mmio_map(busdev, 0, base);
+}
+
static inline int beckhoff_cx7200_init_spi_flashes(uint32_t base_addr,
qemu_irq irq, bool is_qspi, int unit0)
{
@@ -326,6 +337,8 @@ static void beckhoff_cx7200_init(MachineState *machine)
ccat_init(0x40000000);
+ ddr_ctrl_init(0xF8006000);
+
/*
* Compatible with:
* - SD Host Controller Specification Version 2.0 Part A2