| /* |
| * Support for the PPC e500-based mpc8544ds board |
| * |
| * 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 "hw/boards.h" |
| #include "sysemu/device_tree.h" |
| #include "hw/ppc/openpic.h" |
| |
| static void mpc8544ds_fixup_devtree(PPCE500Params *params, void *fdt) |
| { |
| const char model[] = "MPC8544DS"; |
| const char compatible[] = "MPC8544DS\0MPC85xxDS"; |
| |
| qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model)); |
| qemu_devtree_setprop(fdt, "/", "compatible", compatible, |
| sizeof(compatible)); |
| } |
| |
| static void mpc8544ds_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 = 0x11, |
| .pci_nr_slots = 2, |
| .fixup_devtree = mpc8544ds_fixup_devtree, |
| .mpic_version = OPENPIC_MODEL_FSL_MPIC_20, |
| }; |
| |
| ppce500_init(¶ms); |
| } |
| |
| |
| static QEMUMachine ppce500_machine = { |
| .name = "mpc8544ds", |
| .desc = "mpc8544ds", |
| .init = mpc8544ds_init, |
| .max_cpus = 15, |
| DEFAULT_MACHINE_OPTIONS, |
| }; |
| |
| static void ppce500_machine_init(void) |
| { |
| qemu_register_machine(&ppce500_machine); |
| } |
| |
| machine_init(ppce500_machine_init); |