hw/ppc/mpc8544ds.c

   1 /*
   2  * Support for the PPC e500-based mpc8544ds board
   3  *
   4  * Copyright 2012 Freescale Semiconductor, Inc.
   5  *
   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.
  10  */
  11
  12 #include "config.h"
  13 #include "qemu-common.h"
  14 #include "e500.h"
  15 #include "hw/boards.h"
  16 #include "sysemu/device_tree.h"
  17 #include "hw/ppc/openpic.h"
  18
  19 static void mpc8544ds_fixup_devtree(PPCE500Params *params, void *fdt)
  20 {
  21     const char model[] = "MPC8544DS";
  22     const char compatible[] = "MPC8544DS\0MPC85xxDS";
  23
  24     qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model));
  25     qemu_devtree_setprop(fdt, "/", "compatible", compatible,
  26                          sizeof(compatible));
  27 }
  28
  29 static void mpc8544ds_init(QEMUMachineInitArgs *args)
  30 {
  31     PPCE500Params params = {
  32         .pci_first_slot = 0x11,
  33         .pci_nr_slots = 2,
  34         .fixup_devtree = mpc8544ds_fixup_devtree,
  35         .mpic_version = OPENPIC_MODEL_FSL_MPIC_20,
  36     };
  37
  38     ppce500_init(args, &params);
  39 }
  40
  41
  42 static QEMUMachine ppce500_machine = {
  43     .name = "mpc8544ds",
  44     .desc = "mpc8544ds",
  45     .init = mpc8544ds_init,
  46     .max_cpus = 15,
  47 };
  48
  49 static void ppce500_machine_init(void)
  50 {
  51     qemu_register_machine(&ppce500_machine);
  52 }
  53
  54 machine_init(ppce500_machine_init);