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 "../boards.h" 16 #include "device_tree.h" 17 18 static void mpc8544ds_fixup_devtree(PPCE500Params *params, void *fdt) 19 { 20 const char model[] = "MPC8544DS"; 21 const char compatible[] = "MPC8544DS\0MPC85xxDS"; 22 23 qemu_devtree_setprop(fdt, "/", "model", model, sizeof(model)); 24 qemu_devtree_setprop(fdt, "/", "compatible", compatible, 25 sizeof(compatible)); 26 } 27 28 static void mpc8544ds_init(ram_addr_t ram_size, 29 const char *boot_device, 30 const char *kernel_filename, 31 const char *kernel_cmdline, 32 const char *initrd_filename, 33 const char *cpu_model) 34 { 35 PPCE500Params params = { 36 .ram_size = ram_size, 37 .boot_device = boot_device, 38 .kernel_filename = kernel_filename, 39 .kernel_cmdline = kernel_cmdline, 40 .initrd_filename = initrd_filename, 41 .cpu_model = cpu_model, 42 .fixup_devtree = mpc8544ds_fixup_devtree, 43 }; 44 45 ppce500_init(¶ms); 46 } 47 48 49 static QEMUMachine ppce500_machine = { 50 .name = "mpc8544ds", 51 .desc = "mpc8544ds", 52 .init = mpc8544ds_init, 53 .max_cpus = 15, 54 }; 55 56 static void ppce500_machine_init(void) 57 { 58 qemu_register_machine(&ppce500_machine); 59 } 60 61 machine_init(ppce500_machine_init); 62