68 lines
		
	
	
		
			2.0 KiB
		
	
	
	
		
			C
		
	
	
	
			
		
		
	
	
			68 lines
		
	
	
		
			2.0 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"
 | 
						|
#include "hw/openpic.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,
 | 
						|
        .mpic_version = OPENPIC_MODEL_FSL_MPIC_42,
 | 
						|
    };
 | 
						|
 | 
						|
    ppce500_init(¶ms);
 | 
						|
}
 | 
						|
 | 
						|
static QEMUMachine e500plat_machine = {
 | 
						|
    .name = "ppce500",
 | 
						|
    .desc = "generic paravirt e500 platform",
 | 
						|
    .init = e500plat_init,
 | 
						|
    .max_cpus = 32,
 | 
						|
    DEFAULT_MACHINE_OPTIONS,
 | 
						|
};
 | 
						|
 | 
						|
static void e500plat_machine_init(void)
 | 
						|
{
 | 
						|
    qemu_register_machine(&e500plat_machine);
 | 
						|
}
 | 
						|
 | 
						|
machine_init(e500plat_machine_init);
 |