2 * Support for the PPC e500-based mpc8544ds board
4 * Copyright 2012 Freescale Semiconductor, Inc.
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.
13 #include "qemu-common.h"
15 #include "hw/boards.h"
16 #include "sysemu/device_tree.h"
17 #include "hw/ppc/openpic.h"
19 static void mpc8544ds_fixup_devtree(PPCE500Params
*params
, void *fdt
)
21 const char model
[] = "MPC8544DS";
22 const char compatible
[] = "MPC8544DS\0MPC85xxDS";
24 qemu_devtree_setprop(fdt
, "/", "model", model
, sizeof(model
));
25 qemu_devtree_setprop(fdt
, "/", "compatible", compatible
,
29 static void mpc8544ds_init(QEMUMachineInitArgs
*args
)
31 PPCE500Params params
= {
32 .pci_first_slot
= 0x11,
34 .fixup_devtree
= mpc8544ds_fixup_devtree
,
35 .mpic_version
= OPENPIC_MODEL_FSL_MPIC_20
,
38 ppce500_init(args
, ¶ms
);
42 static QEMUMachine ppce500_machine
= {
45 .init
= mpc8544ds_init
,
47 DEFAULT_MACHINE_OPTIONS
,
50 static void ppce500_machine_init(void)
52 qemu_register_machine(&ppce500_machine
);
55 machine_init(ppce500_machine_init
);