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 "../boards.h" 16 #include "device_tree.h" 17 #include "hw/pci.h" 18 19 static void e500plat_fixup_devtree(PPCE500Params *params, void *fdt) 20 { 21 const char model[] = "QEMU ppce500"; 22 const char compatible[] = "fsl,qemu-e500"; 23 24 qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model)); 25 qemu_devtree_setprop(fdt, "/", "compatible", compatible, 26 sizeof(compatible)); 27 } 28 29 static void e500plat_init(QEMUMachineInitArgs *args) 30 { 31 ram_addr_t ram_size = args->ram_size; 32 const char *boot_device = args->boot_device; 33 const char *cpu_model = args->cpu_model; 34 const char *kernel_filename = args->kernel_filename; 35 const char *kernel_cmdline = args->kernel_cmdline; 36 const char *initrd_filename = args->initrd_filename; 37 PPCE500Params params = { 38 .ram_size = ram_size, 39 .boot_device = boot_device, 40 .kernel_filename = kernel_filename, 41 .kernel_cmdline = kernel_cmdline, 42 .initrd_filename = initrd_filename, 43 .cpu_model = cpu_model, 44 .pci_first_slot = 0x1, 45 .pci_nr_slots = PCI_SLOT_MAX - 1, 46 .fixup_devtree = e500plat_fixup_devtree, 47 }; 48 49 ppce500_init(¶ms); 50 } 51 52 static QEMUMachine e500plat_machine = { 53 .name = "ppce500", 54 .desc = "generic paravirt e500 platform", 55 .init = e500plat_init, 56 .max_cpus = 15, 57 }; 58 59 static void e500plat_machine_init(void) 60 { 61 qemu_register_machine(&e500plat_machine); 62 } 63 64 machine_init(e500plat_machine_init); 65