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"
18 static void e500plat_fixup_devtree(PPCE500Params *params, void *fdt)
20 const char model[] = "QEMU ppce500";
21 const char compatible[] = "fsl,qemu-e500";
23 qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model));
24 qemu_devtree_setprop(fdt, "/", "compatible", compatible,
28 static void e500plat_init(QEMUMachineInitArgs *args)
30 ram_addr_t ram_size = args->ram_size;
31 const char *boot_device = args->boot_device;
32 const char *cpu_model = args->cpu_model;
33 const char *kernel_filename = args->kernel_filename;
34 const char *kernel_cmdline = args->kernel_cmdline;
35 const char *initrd_filename = args->initrd_filename;
36 PPCE500Params params = {
38 .boot_device = boot_device,
39 .kernel_filename = kernel_filename,
40 .kernel_cmdline = kernel_cmdline,
41 .initrd_filename = initrd_filename,
42 .cpu_model = cpu_model,
43 .fixup_devtree = e500plat_fixup_devtree,
46 ppce500_init(¶ms);
49 static QEMUMachine e500plat_machine = {
51 .desc = "generic paravirt e500 platform",
52 .init = e500plat_init,
56 static void e500plat_machine_init(void)
58 qemu_register_machine(&e500plat_machine);
61 machine_init(e500plat_machine_init);