2 * Generic device-tree-driven paravirt PPC e500 platform
4 * Copyright 2012 Freescale Semiconductor, Inc.
6 * This is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
13 #include "qemu-common.h"
15 #include "hw/boards.h"
16 #include "sysemu/device_tree.h"
17 #include "hw/pci/pci.h"
18 #include "hw/ppc/openpic.h"
21 static void e500plat_fixup_devtree(PPCE500Params
*params
, void *fdt
)
23 const char model
[] = "QEMU ppce500";
24 const char compatible
[] = "fsl,qemu-e500";
26 qemu_fdt_setprop(fdt
, "/", "model", model
, sizeof(model
));
27 qemu_fdt_setprop(fdt
, "/", "compatible", compatible
,
31 static void e500plat_init(MachineState
*machine
)
33 PPCE500Params params
= {
34 .pci_first_slot
= 0x1,
35 .pci_nr_slots
= PCI_SLOT_MAX
- 1,
36 .fixup_devtree
= e500plat_fixup_devtree
,
37 .mpic_version
= OPENPIC_MODEL_FSL_MPIC_42
,
38 .has_mpc8xxx_gpio
= true,
39 .has_platform_bus
= true,
40 .platform_bus_base
= 0xf00000000ULL
,
41 .platform_bus_size
= (128ULL * 1024 * 1024),
42 .platform_bus_first_irq
= 5,
43 .platform_bus_num_irqs
= 10,
46 /* Older KVM versions don't support EPR which breaks guests when we announce
47 MPIC variants that support EPR. Revert to an older one for those */
48 if (kvm_enabled() && !kvmppc_has_cap_epr()) {
49 params
.mpic_version
= OPENPIC_MODEL_FSL_MPIC_20
;
52 ppce500_init(machine
, ¶ms
);
55 static QEMUMachine e500plat_machine
= {
57 .desc
= "generic paravirt e500 platform",
58 .init
= e500plat_init
,
60 .has_dynamic_sysbus
= true,
63 static void e500plat_machine_init(void)
65 qemu_register_machine(&e500plat_machine
);
68 machine_init(e500plat_machine_init
);