1 /* 2 * Generic device-tree-driven paravirt PPC e500 platform 3 * 4 * Copyright 2012 Freescale Semiconductor, Inc. 5 * 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. 10 */ 11 12 #include "config.h" 13 #include "qemu-common.h" 14 #include "e500.h" 15 #include "hw/boards.h" 16 #include "sysemu/device_tree.h" 17 #include "hw/pci/pci.h" 18 #include "hw/ppc/openpic.h" 19 #include "kvm_ppc.h" 20 21 static void e500plat_fixup_devtree(PPCE500Params *params, void *fdt) 22 { 23 const char model[] = "QEMU ppce500"; 24 const char compatible[] = "fsl,qemu-e500"; 25 26 qemu_fdt_setprop(fdt, "/", "model", model, sizeof(model)); 27 qemu_fdt_setprop(fdt, "/", "compatible", compatible, 28 sizeof(compatible)); 29 } 30 31 static void e500plat_init(MachineState *machine) 32 { 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 }; 40 41 /* Older KVM versions don't support EPR which breaks guests when we announce 42 MPIC variants that support EPR. Revert to an older one for those */ 43 if (kvm_enabled() && !kvmppc_has_cap_epr()) { 44 params.mpic_version = OPENPIC_MODEL_FSL_MPIC_20; 45 } 46 47 ppce500_init(machine, ¶ms); 48 } 49 50 static QEMUMachine e500plat_machine = { 51 .name = "ppce500", 52 .desc = "generic paravirt e500 platform", 53 .init = e500plat_init, 54 .max_cpus = 32, 55 }; 56 57 static void e500plat_machine_init(void) 58 { 59 qemu_register_machine(&e500plat_machine); 60 } 61 62 machine_init(e500plat_machine_init); 63