/* * 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) { PPCE500Params params = { .pci_first_slot = 0x11, .pci_nr_slots = 2, .fixup_devtree = mpc8544ds_fixup_devtree, .mpic_version = OPENPIC_MODEL_FSL_MPIC_20, }; ppce500_init(args, ¶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);