| /* |
| * Generic device-tree-driven paravirt PPC e500 platform |
| * |
| * Copyright 2012 Freescale Semiconductor, Inc. |
| * |
| * This is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| */ |
| |
| #include "config.h" |
| #include "qemu-common.h" |
| #include "e500.h" |
| #include "../boards.h" |
| #include "device_tree.h" |
| #include "hw/pci.h" |
| |
| static void e500plat_fixup_devtree(PPCE500Params *params, void *fdt) |
| { |
| const char model[] = "QEMU ppce500"; |
| const char compatible[] = "fsl,qemu-e500"; |
| |
| qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model)); |
| qemu_devtree_setprop(fdt, "/", "compatible", compatible, |
| sizeof(compatible)); |
| } |
| |
| static void e500plat_init(QEMUMachineInitArgs *args) |
| { |
| ram_addr_t ram_size = args->ram_size; |
| const char *boot_device = args->boot_device; |
| const char *cpu_model = args->cpu_model; |
| const char *kernel_filename = args->kernel_filename; |
| const char *kernel_cmdline = args->kernel_cmdline; |
| const char *initrd_filename = args->initrd_filename; |
| PPCE500Params params = { |
| .ram_size = ram_size, |
| .boot_device = boot_device, |
| .kernel_filename = kernel_filename, |
| .kernel_cmdline = kernel_cmdline, |
| .initrd_filename = initrd_filename, |
| .cpu_model = cpu_model, |
| .pci_first_slot = 0x1, |
| .pci_nr_slots = PCI_SLOT_MAX - 1, |
| .fixup_devtree = e500plat_fixup_devtree, |
| }; |
| |
| ppce500_init(¶ms); |
| } |
| |
| static QEMUMachine e500plat_machine = { |
| .name = "ppce500", |
| .desc = "generic paravirt e500 platform", |
| .init = e500plat_init, |
| .max_cpus = 15, |
| }; |
| |
| static void e500plat_machine_init(void) |
| { |
| qemu_register_machine(&e500plat_machine); |
| } |
| |
| machine_init(e500plat_machine_init); |