xref: /qemu/hw/arm/xlnx-versal-virt.c (revision 3afec85c2e635d1ee06ef2884f13602db733cd5a)
1 /*
2  * Xilinx Versal Virtual board.
3  *
4  * Copyright (c) 2018 Xilinx Inc.
5  * Written by Edgar E. Iglesias
6  *
7  * This program is free software; you can redistribute it and/or modify
8  * it under the terms of the GNU General Public License version 2 or
9  * (at your option) any later version.
10  */
11 
12 #include "qemu/osdep.h"
13 #include "qemu/log.h"
14 #include "qemu/error-report.h"
15 #include "qapi/error.h"
16 #include "sysemu/device_tree.h"
17 #include "exec/address-spaces.h"
18 #include "hw/boards.h"
19 #include "hw/sysbus.h"
20 #include "hw/arm/sysbus-fdt.h"
21 #include "hw/arm/fdt.h"
22 #include "cpu.h"
23 #include "hw/qdev-properties.h"
24 #include "hw/arm/xlnx-versal.h"
25 
26 #define TYPE_XLNX_VERSAL_VIRT_MACHINE MACHINE_TYPE_NAME("xlnx-versal-virt")
27 #define XLNX_VERSAL_VIRT_MACHINE(obj) \
28     OBJECT_CHECK(VersalVirt, (obj), TYPE_XLNX_VERSAL_VIRT_MACHINE)
29 
30 typedef struct VersalVirt {
31     MachineState parent_obj;
32 
33     Versal soc;
34 
35     void *fdt;
36     int fdt_size;
37     struct {
38         uint32_t gic;
39         uint32_t ethernet_phy[2];
40         uint32_t clk_125Mhz;
41         uint32_t clk_25Mhz;
42     } phandle;
43     struct arm_boot_info binfo;
44 
45     struct {
46         bool secure;
47     } cfg;
48 } VersalVirt;
49 
50 static void fdt_create(VersalVirt *s)
51 {
52     MachineClass *mc = MACHINE_GET_CLASS(s);
53     int i;
54 
55     s->fdt = create_device_tree(&s->fdt_size);
56     if (!s->fdt) {
57         error_report("create_device_tree() failed");
58         exit(1);
59     }
60 
61     /* Allocate all phandles.  */
62     s->phandle.gic = qemu_fdt_alloc_phandle(s->fdt);
63     for (i = 0; i < ARRAY_SIZE(s->phandle.ethernet_phy); i++) {
64         s->phandle.ethernet_phy[i] = qemu_fdt_alloc_phandle(s->fdt);
65     }
66     s->phandle.clk_25Mhz = qemu_fdt_alloc_phandle(s->fdt);
67     s->phandle.clk_125Mhz = qemu_fdt_alloc_phandle(s->fdt);
68 
69     /* Create /chosen node for load_dtb.  */
70     qemu_fdt_add_subnode(s->fdt, "/chosen");
71 
72     /* Header */
73     qemu_fdt_setprop_cell(s->fdt, "/", "interrupt-parent", s->phandle.gic);
74     qemu_fdt_setprop_cell(s->fdt, "/", "#size-cells", 0x2);
75     qemu_fdt_setprop_cell(s->fdt, "/", "#address-cells", 0x2);
76     qemu_fdt_setprop_string(s->fdt, "/", "model", mc->desc);
77     qemu_fdt_setprop_string(s->fdt, "/", "compatible", "xlnx-versal-virt");
78 }
79 
80 static void fdt_add_clk_node(VersalVirt *s, const char *name,
81                              unsigned int freq_hz, uint32_t phandle)
82 {
83     qemu_fdt_add_subnode(s->fdt, name);
84     qemu_fdt_setprop_cell(s->fdt, name, "phandle", phandle);
85     qemu_fdt_setprop_cell(s->fdt, name, "clock-frequency", freq_hz);
86     qemu_fdt_setprop_cell(s->fdt, name, "#clock-cells", 0x0);
87     qemu_fdt_setprop_string(s->fdt, name, "compatible", "fixed-clock");
88     qemu_fdt_setprop(s->fdt, name, "u-boot,dm-pre-reloc", NULL, 0);
89 }
90 
91 static void fdt_add_cpu_nodes(VersalVirt *s, uint32_t psci_conduit)
92 {
93     int i;
94 
95     qemu_fdt_add_subnode(s->fdt, "/cpus");
96     qemu_fdt_setprop_cell(s->fdt, "/cpus", "#size-cells", 0x0);
97     qemu_fdt_setprop_cell(s->fdt, "/cpus", "#address-cells", 1);
98 
99     for (i = XLNX_VERSAL_NR_ACPUS - 1; i >= 0; i--) {
100         char *name = g_strdup_printf("/cpus/cpu@%d", i);
101         ARMCPU *armcpu = ARM_CPU(qemu_get_cpu(i));
102 
103         qemu_fdt_add_subnode(s->fdt, name);
104         qemu_fdt_setprop_cell(s->fdt, name, "reg", armcpu->mp_affinity);
105         if (psci_conduit != QEMU_PSCI_CONDUIT_DISABLED) {
106             qemu_fdt_setprop_string(s->fdt, name, "enable-method", "psci");
107         }
108         qemu_fdt_setprop_string(s->fdt, name, "device_type", "cpu");
109         qemu_fdt_setprop_string(s->fdt, name, "compatible",
110                                 armcpu->dtb_compatible);
111         g_free(name);
112     }
113 }
114 
115 static void fdt_add_gic_nodes(VersalVirt *s)
116 {
117     char *nodename;
118 
119     nodename = g_strdup_printf("/gic@%x", MM_GIC_APU_DIST_MAIN);
120     qemu_fdt_add_subnode(s->fdt, nodename);
121     qemu_fdt_setprop_cell(s->fdt, nodename, "phandle", s->phandle.gic);
122     qemu_fdt_setprop_cells(s->fdt, nodename, "interrupts",
123                            GIC_FDT_IRQ_TYPE_PPI, VERSAL_GIC_MAINT_IRQ,
124                            GIC_FDT_IRQ_FLAGS_LEVEL_HI);
125     qemu_fdt_setprop(s->fdt, nodename, "interrupt-controller", NULL, 0);
126     qemu_fdt_setprop_sized_cells(s->fdt, nodename, "reg",
127                                  2, MM_GIC_APU_DIST_MAIN,
128                                  2, MM_GIC_APU_DIST_MAIN_SIZE,
129                                  2, MM_GIC_APU_REDIST_0,
130                                  2, MM_GIC_APU_REDIST_0_SIZE);
131     qemu_fdt_setprop_cell(s->fdt, nodename, "#interrupt-cells", 3);
132     qemu_fdt_setprop_string(s->fdt, nodename, "compatible", "arm,gic-v3");
133     g_free(nodename);
134 }
135 
136 static void fdt_add_timer_nodes(VersalVirt *s)
137 {
138     const char compat[] = "arm,armv8-timer";
139     uint32_t irqflags = GIC_FDT_IRQ_FLAGS_LEVEL_HI;
140 
141     qemu_fdt_add_subnode(s->fdt, "/timer");
142     qemu_fdt_setprop_cells(s->fdt, "/timer", "interrupts",
143             GIC_FDT_IRQ_TYPE_PPI, VERSAL_TIMER_S_EL1_IRQ, irqflags,
144             GIC_FDT_IRQ_TYPE_PPI, VERSAL_TIMER_NS_EL1_IRQ, irqflags,
145             GIC_FDT_IRQ_TYPE_PPI, VERSAL_TIMER_VIRT_IRQ, irqflags,
146             GIC_FDT_IRQ_TYPE_PPI, VERSAL_TIMER_NS_EL2_IRQ, irqflags);
147     qemu_fdt_setprop(s->fdt, "/timer", "compatible",
148                      compat, sizeof(compat));
149 }
150 
151 static void fdt_add_uart_nodes(VersalVirt *s)
152 {
153     uint64_t addrs[] = { MM_UART1, MM_UART0 };
154     unsigned int irqs[] = { VERSAL_UART1_IRQ_0, VERSAL_UART0_IRQ_0 };
155     const char compat[] = "arm,pl011\0arm,sbsa-uart";
156     const char clocknames[] = "uartclk\0apb_pclk";
157     int i;
158 
159     for (i = 0; i < ARRAY_SIZE(addrs); i++) {
160         char *name = g_strdup_printf("/uart@%" PRIx64, addrs[i]);
161         qemu_fdt_add_subnode(s->fdt, name);
162         qemu_fdt_setprop_cell(s->fdt, name, "current-speed", 115200);
163         qemu_fdt_setprop_cells(s->fdt, name, "clocks",
164                                s->phandle.clk_125Mhz, s->phandle.clk_125Mhz);
165         qemu_fdt_setprop(s->fdt, name, "clock-names",
166                          clocknames, sizeof(clocknames));
167 
168         qemu_fdt_setprop_cells(s->fdt, name, "interrupts",
169                                GIC_FDT_IRQ_TYPE_SPI, irqs[i],
170                                GIC_FDT_IRQ_FLAGS_LEVEL_HI);
171         qemu_fdt_setprop_sized_cells(s->fdt, name, "reg",
172                                      2, addrs[i], 2, 0x1000);
173         qemu_fdt_setprop(s->fdt, name, "compatible",
174                          compat, sizeof(compat));
175         qemu_fdt_setprop(s->fdt, name, "u-boot,dm-pre-reloc", NULL, 0);
176 
177         if (addrs[i] == MM_UART0) {
178             /* Select UART0.  */
179             qemu_fdt_setprop_string(s->fdt, "/chosen", "stdout-path", name);
180         }
181         g_free(name);
182     }
183 }
184 
185 static void fdt_add_fixed_link_nodes(VersalVirt *s, char *gemname,
186                                      uint32_t phandle)
187 {
188     char *name = g_strdup_printf("%s/fixed-link", gemname);
189 
190     qemu_fdt_add_subnode(s->fdt, name);
191     qemu_fdt_setprop_cell(s->fdt, name, "phandle", phandle);
192     qemu_fdt_setprop(s->fdt, name, "full-duplex", NULL, 0);
193     qemu_fdt_setprop_cell(s->fdt, name, "speed", 1000);
194     g_free(name);
195 }
196 
197 static void fdt_add_gem_nodes(VersalVirt *s)
198 {
199     uint64_t addrs[] = { MM_GEM1, MM_GEM0 };
200     unsigned int irqs[] = { VERSAL_GEM1_IRQ_0, VERSAL_GEM0_IRQ_0 };
201     const char clocknames[] = "pclk\0hclk\0tx_clk\0rx_clk";
202     const char compat_gem[] = "cdns,zynqmp-gem\0cdns,gem";
203     int i;
204 
205     for (i = 0; i < ARRAY_SIZE(addrs); i++) {
206         char *name = g_strdup_printf("/ethernet@%" PRIx64, addrs[i]);
207         qemu_fdt_add_subnode(s->fdt, name);
208 
209         fdt_add_fixed_link_nodes(s, name, s->phandle.ethernet_phy[i]);
210         qemu_fdt_setprop_string(s->fdt, name, "phy-mode", "rgmii-id");
211         qemu_fdt_setprop_cell(s->fdt, name, "phy-handle",
212                               s->phandle.ethernet_phy[i]);
213         qemu_fdt_setprop_cells(s->fdt, name, "clocks",
214                                s->phandle.clk_25Mhz, s->phandle.clk_25Mhz,
215                                s->phandle.clk_25Mhz, s->phandle.clk_25Mhz);
216         qemu_fdt_setprop(s->fdt, name, "clock-names",
217                          clocknames, sizeof(clocknames));
218         qemu_fdt_setprop_cells(s->fdt, name, "interrupts",
219                                GIC_FDT_IRQ_TYPE_SPI, irqs[i],
220                                GIC_FDT_IRQ_FLAGS_LEVEL_HI,
221                                GIC_FDT_IRQ_TYPE_SPI, irqs[i],
222                                GIC_FDT_IRQ_FLAGS_LEVEL_HI);
223         qemu_fdt_setprop_sized_cells(s->fdt, name, "reg",
224                                      2, addrs[i], 2, 0x1000);
225         qemu_fdt_setprop(s->fdt, name, "compatible",
226                          compat_gem, sizeof(compat_gem));
227         qemu_fdt_setprop_cell(s->fdt, name, "#address-cells", 1);
228         qemu_fdt_setprop_cell(s->fdt, name, "#size-cells", 0);
229         g_free(name);
230     }
231 }
232 
233 static void fdt_add_zdma_nodes(VersalVirt *s)
234 {
235     const char clocknames[] = "clk_main\0clk_apb";
236     const char compat[] = "xlnx,zynqmp-dma-1.0";
237     int i;
238 
239     for (i = XLNX_VERSAL_NR_ADMAS - 1; i >= 0; i--) {
240         uint64_t addr = MM_ADMA_CH0 + MM_ADMA_CH0_SIZE * i;
241         char *name = g_strdup_printf("/dma@%" PRIx64, addr);
242 
243         qemu_fdt_add_subnode(s->fdt, name);
244 
245         qemu_fdt_setprop_cell(s->fdt, name, "xlnx,bus-width", 64);
246         qemu_fdt_setprop_cells(s->fdt, name, "clocks",
247                                s->phandle.clk_25Mhz, s->phandle.clk_25Mhz);
248         qemu_fdt_setprop(s->fdt, name, "clock-names",
249                          clocknames, sizeof(clocknames));
250         qemu_fdt_setprop_cells(s->fdt, name, "interrupts",
251                                GIC_FDT_IRQ_TYPE_SPI, VERSAL_ADMA_IRQ_0 + i,
252                                GIC_FDT_IRQ_FLAGS_LEVEL_HI);
253         qemu_fdt_setprop_sized_cells(s->fdt, name, "reg",
254                                      2, addr, 2, 0x1000);
255         qemu_fdt_setprop(s->fdt, name, "compatible", compat, sizeof(compat));
256         g_free(name);
257     }
258 }
259 
260 static void fdt_add_sd_nodes(VersalVirt *s)
261 {
262     const char clocknames[] = "clk_xin\0clk_ahb";
263     const char compat[] = "arasan,sdhci-8.9a";
264     int i;
265 
266     for (i = ARRAY_SIZE(s->soc.pmc.iou.sd) - 1; i >= 0; i--) {
267         uint64_t addr = MM_PMC_SD0 + MM_PMC_SD0_SIZE * i;
268         char *name = g_strdup_printf("/sdhci@%" PRIx64, addr);
269 
270         qemu_fdt_add_subnode(s->fdt, name);
271 
272         qemu_fdt_setprop_cells(s->fdt, name, "clocks",
273                                s->phandle.clk_25Mhz, s->phandle.clk_25Mhz);
274         qemu_fdt_setprop(s->fdt, name, "clock-names",
275                          clocknames, sizeof(clocknames));
276         qemu_fdt_setprop_cells(s->fdt, name, "interrupts",
277                                GIC_FDT_IRQ_TYPE_SPI, VERSAL_SD0_IRQ_0 + i * 2,
278                                GIC_FDT_IRQ_FLAGS_LEVEL_HI);
279         qemu_fdt_setprop_sized_cells(s->fdt, name, "reg",
280                                      2, addr, 2, MM_PMC_SD0_SIZE);
281         qemu_fdt_setprop(s->fdt, name, "compatible", compat, sizeof(compat));
282         g_free(name);
283     }
284 }
285 
286 static void fdt_nop_memory_nodes(void *fdt, Error **errp)
287 {
288     Error *err = NULL;
289     char **node_path;
290     int n = 0;
291 
292     node_path = qemu_fdt_node_unit_path(fdt, "memory", &err);
293     if (err) {
294         error_propagate(errp, err);
295         return;
296     }
297     while (node_path[n]) {
298         if (g_str_has_prefix(node_path[n], "/memory")) {
299             qemu_fdt_nop_node(fdt, node_path[n]);
300         }
301         n++;
302     }
303     g_strfreev(node_path);
304 }
305 
306 static void fdt_add_memory_nodes(VersalVirt *s, void *fdt, uint64_t ram_size)
307 {
308     /* Describes the various split DDR access regions.  */
309     static const struct {
310         uint64_t base;
311         uint64_t size;
312     } addr_ranges[] = {
313         { MM_TOP_DDR, MM_TOP_DDR_SIZE },
314         { MM_TOP_DDR_2, MM_TOP_DDR_2_SIZE },
315         { MM_TOP_DDR_3, MM_TOP_DDR_3_SIZE },
316         { MM_TOP_DDR_4, MM_TOP_DDR_4_SIZE }
317     };
318     uint64_t mem_reg_prop[8] = {0};
319     uint64_t size = ram_size;
320     Error *err = NULL;
321     char *name;
322     int i;
323 
324     fdt_nop_memory_nodes(fdt, &err);
325     if (err) {
326         error_report_err(err);
327         return;
328     }
329 
330     name = g_strdup_printf("/memory@%x", MM_TOP_DDR);
331     for (i = 0; i < ARRAY_SIZE(addr_ranges) && size; i++) {
332         uint64_t mapsize;
333 
334         mapsize = size < addr_ranges[i].size ? size : addr_ranges[i].size;
335 
336         mem_reg_prop[i * 2] = addr_ranges[i].base;
337         mem_reg_prop[i * 2 + 1] = mapsize;
338         size -= mapsize;
339     }
340     qemu_fdt_add_subnode(fdt, name);
341     qemu_fdt_setprop_string(fdt, name, "device_type", "memory");
342 
343     switch (i) {
344     case 1:
345         qemu_fdt_setprop_sized_cells(fdt, name, "reg",
346                                      2, mem_reg_prop[0],
347                                      2, mem_reg_prop[1]);
348         break;
349     case 2:
350         qemu_fdt_setprop_sized_cells(fdt, name, "reg",
351                                      2, mem_reg_prop[0],
352                                      2, mem_reg_prop[1],
353                                      2, mem_reg_prop[2],
354                                      2, mem_reg_prop[3]);
355         break;
356     case 3:
357         qemu_fdt_setprop_sized_cells(fdt, name, "reg",
358                                      2, mem_reg_prop[0],
359                                      2, mem_reg_prop[1],
360                                      2, mem_reg_prop[2],
361                                      2, mem_reg_prop[3],
362                                      2, mem_reg_prop[4],
363                                      2, mem_reg_prop[5]);
364         break;
365     case 4:
366         qemu_fdt_setprop_sized_cells(fdt, name, "reg",
367                                      2, mem_reg_prop[0],
368                                      2, mem_reg_prop[1],
369                                      2, mem_reg_prop[2],
370                                      2, mem_reg_prop[3],
371                                      2, mem_reg_prop[4],
372                                      2, mem_reg_prop[5],
373                                      2, mem_reg_prop[6],
374                                      2, mem_reg_prop[7]);
375         break;
376     default:
377         g_assert_not_reached();
378     }
379     g_free(name);
380 }
381 
382 static void versal_virt_modify_dtb(const struct arm_boot_info *binfo,
383                                     void *fdt)
384 {
385     VersalVirt *s = container_of(binfo, VersalVirt, binfo);
386 
387     fdt_add_memory_nodes(s, fdt, binfo->ram_size);
388 }
389 
390 static void *versal_virt_get_dtb(const struct arm_boot_info *binfo,
391                                   int *fdt_size)
392 {
393     const VersalVirt *board = container_of(binfo, VersalVirt, binfo);
394 
395     *fdt_size = board->fdt_size;
396     return board->fdt;
397 }
398 
399 #define NUM_VIRTIO_TRANSPORT 8
400 static void create_virtio_regions(VersalVirt *s)
401 {
402     int virtio_mmio_size = 0x200;
403     int i;
404 
405     for (i = 0; i < NUM_VIRTIO_TRANSPORT; i++) {
406         char *name = g_strdup_printf("virtio%d", i);
407         hwaddr base = MM_TOP_RSVD + i * virtio_mmio_size;
408         int irq = VERSAL_RSVD_IRQ_FIRST + i;
409         MemoryRegion *mr;
410         DeviceState *dev;
411         qemu_irq pic_irq;
412 
413         pic_irq = qdev_get_gpio_in(DEVICE(&s->soc.fpd.apu.gic), irq);
414         dev = qdev_create(NULL, "virtio-mmio");
415         object_property_add_child(OBJECT(&s->soc), name, OBJECT(dev),
416                                   &error_fatal);
417         qdev_init_nofail(dev);
418         sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, pic_irq);
419         mr = sysbus_mmio_get_region(SYS_BUS_DEVICE(dev), 0);
420         memory_region_add_subregion(&s->soc.mr_ps, base, mr);
421         g_free(name);
422     }
423 
424     for (i = 0; i < NUM_VIRTIO_TRANSPORT; i++) {
425         hwaddr base = MM_TOP_RSVD + i * virtio_mmio_size;
426         int irq = VERSAL_RSVD_IRQ_FIRST + i;
427         char *name = g_strdup_printf("/virtio_mmio@%" PRIx64, base);
428 
429         qemu_fdt_add_subnode(s->fdt, name);
430         qemu_fdt_setprop(s->fdt, name, "dma-coherent", NULL, 0);
431         qemu_fdt_setprop_cells(s->fdt, name, "interrupts",
432                                GIC_FDT_IRQ_TYPE_SPI, irq,
433                                GIC_FDT_IRQ_FLAGS_EDGE_LO_HI);
434         qemu_fdt_setprop_sized_cells(s->fdt, name, "reg",
435                                      2, base, 2, virtio_mmio_size);
436         qemu_fdt_setprop_string(s->fdt, name, "compatible", "virtio,mmio");
437         g_free(name);
438     }
439 }
440 
441 static void sd_plugin_card(SDHCIState *sd, DriveInfo *di)
442 {
443     BlockBackend *blk = di ? blk_by_legacy_dinfo(di) : NULL;
444     DeviceState *card;
445 
446     card = qdev_create(qdev_get_child_bus(DEVICE(sd), "sd-bus"), TYPE_SD_CARD);
447     object_property_add_child(OBJECT(sd), "card[*]", OBJECT(card),
448                               &error_fatal);
449     qdev_prop_set_drive(card, "drive", blk, &error_fatal);
450     object_property_set_bool(OBJECT(card), true, "realized", &error_fatal);
451 }
452 
453 static void versal_virt_init(MachineState *machine)
454 {
455     VersalVirt *s = XLNX_VERSAL_VIRT_MACHINE(machine);
456     int psci_conduit = QEMU_PSCI_CONDUIT_DISABLED;
457     int i;
458 
459     /*
460      * If the user provides an Operating System to be loaded, we expect them
461      * to use the -kernel command line option.
462      *
463      * Users can load firmware or boot-loaders with the -device loader options.
464      *
465      * When loading an OS, we generate a dtb and let arm_load_kernel() select
466      * where it gets loaded. This dtb will be passed to the kernel in x0.
467      *
468      * If there's no -kernel option, we generate a DTB and place it at 0x1000
469      * for the bootloaders or firmware to pick up.
470      *
471      * If users want to provide their own DTB, they can use the -dtb option.
472      * These dtb's will have their memory nodes modified to match QEMU's
473      * selected ram_size option before they get passed to the kernel or fw.
474      *
475      * When loading an OS, we turn on QEMU's PSCI implementation with SMC
476      * as the PSCI conduit. When there's no -kernel, we assume the user
477      * provides EL3 firmware to handle PSCI.
478      */
479     if (machine->kernel_filename) {
480         psci_conduit = QEMU_PSCI_CONDUIT_SMC;
481     }
482 
483     sysbus_init_child_obj(OBJECT(machine), "xlnx-versal", &s->soc,
484                           sizeof(s->soc), TYPE_XLNX_VERSAL);
485     object_property_set_link(OBJECT(&s->soc), OBJECT(machine->ram),
486                              "ddr", &error_abort);
487     object_property_set_int(OBJECT(&s->soc), psci_conduit,
488                             "psci-conduit", &error_abort);
489     object_property_set_bool(OBJECT(&s->soc), true, "realized", &error_fatal);
490 
491     fdt_create(s);
492     create_virtio_regions(s);
493     fdt_add_gem_nodes(s);
494     fdt_add_uart_nodes(s);
495     fdt_add_gic_nodes(s);
496     fdt_add_timer_nodes(s);
497     fdt_add_zdma_nodes(s);
498     fdt_add_sd_nodes(s);
499     fdt_add_cpu_nodes(s, psci_conduit);
500     fdt_add_clk_node(s, "/clk125", 125000000, s->phandle.clk_125Mhz);
501     fdt_add_clk_node(s, "/clk25", 25000000, s->phandle.clk_25Mhz);
502 
503     /* Make the APU cpu address space visible to virtio and other
504      * modules unaware of muliple address-spaces.  */
505     memory_region_add_subregion_overlap(get_system_memory(),
506                                         0, &s->soc.fpd.apu.mr, 0);
507 
508     /* Plugin SD cards.  */
509     for (i = 0; i < ARRAY_SIZE(s->soc.pmc.iou.sd); i++) {
510         sd_plugin_card(&s->soc.pmc.iou.sd[i], drive_get_next(IF_SD));
511     }
512 
513     s->binfo.ram_size = machine->ram_size;
514     s->binfo.loader_start = 0x0;
515     s->binfo.get_dtb = versal_virt_get_dtb;
516     s->binfo.modify_dtb = versal_virt_modify_dtb;
517     if (machine->kernel_filename) {
518         arm_load_kernel(&s->soc.fpd.apu.cpu[0], machine, &s->binfo);
519     } else {
520         AddressSpace *as = arm_boot_address_space(&s->soc.fpd.apu.cpu[0],
521                                                   &s->binfo);
522         /* Some boot-loaders (e.g u-boot) don't like blobs at address 0 (NULL).
523          * Offset things by 4K.  */
524         s->binfo.loader_start = 0x1000;
525         s->binfo.dtb_limit = 0x1000000;
526         if (arm_load_dtb(s->binfo.loader_start,
527                          &s->binfo, s->binfo.dtb_limit, as, machine) < 0) {
528             exit(EXIT_FAILURE);
529         }
530     }
531 }
532 
533 static void versal_virt_machine_instance_init(Object *obj)
534 {
535 }
536 
537 static void versal_virt_machine_class_init(ObjectClass *oc, void *data)
538 {
539     MachineClass *mc = MACHINE_CLASS(oc);
540 
541     mc->desc = "Xilinx Versal Virtual development board";
542     mc->init = versal_virt_init;
543     mc->max_cpus = XLNX_VERSAL_NR_ACPUS;
544     mc->default_cpus = XLNX_VERSAL_NR_ACPUS;
545     mc->no_cdrom = true;
546     mc->default_ram_id = "ddr";
547 }
548 
549 static const TypeInfo versal_virt_machine_init_typeinfo = {
550     .name       = TYPE_XLNX_VERSAL_VIRT_MACHINE,
551     .parent     = TYPE_MACHINE,
552     .class_init = versal_virt_machine_class_init,
553     .instance_init = versal_virt_machine_instance_init,
554     .instance_size = sizeof(VersalVirt),
555 };
556 
557 static void versal_virt_machine_init_register_types(void)
558 {
559     type_register_static(&versal_virt_machine_init_typeinfo);
560 }
561 
562 type_init(versal_virt_machine_init_register_types)
563 
564