66 lines
1.9 KiB
C
66 lines
1.9 KiB
C
/*
|
|
* Generic device-tree-driven paravirt PPC e500 platform
|
|
*
|
|
* 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 "../boards.h"
|
|
#include "sysemu/device_tree.h"
|
|
#include "hw/pci/pci.h"
|
|
|
|
static void e500plat_fixup_devtree(PPCE500Params *params, void *fdt)
|
|
{
|
|
const char model[] = "QEMU ppce500";
|
|
const char compatible[] = "fsl,qemu-e500";
|
|
|
|
qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model));
|
|
qemu_devtree_setprop(fdt, "/", "compatible", compatible,
|
|
sizeof(compatible));
|
|
}
|
|
|
|
static void e500plat_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 = 0x1,
|
|
.pci_nr_slots = PCI_SLOT_MAX - 1,
|
|
.fixup_devtree = e500plat_fixup_devtree,
|
|
};
|
|
|
|
ppce500_init(¶ms);
|
|
}
|
|
|
|
static QEMUMachine e500plat_machine = {
|
|
.name = "ppce500",
|
|
.desc = "generic paravirt e500 platform",
|
|
.init = e500plat_init,
|
|
.max_cpus = 15,
|
|
DEFAULT_MACHINE_OPTIONS,
|
|
};
|
|
|
|
static void e500plat_machine_init(void)
|
|
{
|
|
qemu_register_machine(&e500plat_machine);
|
|
}
|
|
|
|
machine_init(e500plat_machine_init);
|