2 * Generic device-tree-driven paravirt PPC e500 platform
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 "../boards.h"
16 #include "device_tree.h"
19 static void e500plat_fixup_devtree(PPCE500Params
*params
, void *fdt
)
21 const char model
[] = "QEMU ppce500";
22 const char compatible
[] = "fsl,qemu-e500";
24 qemu_devtree_setprop(fdt
, "/", "model", model
, sizeof(model
));
25 qemu_devtree_setprop(fdt
, "/", "compatible", compatible
,
29 static void e500plat_init(QEMUMachineInitArgs
*args
)
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
= {
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
,
49 ppce500_init(¶ms
);
52 static QEMUMachine e500plat_machine
= {
54 .desc
= "generic paravirt e500 platform",
55 .init
= e500plat_init
,
59 static void e500plat_machine_init(void)
61 qemu_register_machine(&e500plat_machine
);
64 machine_init(e500plat_machine_init
);