2  * Model of Xilinx Virtex5 ML507 PPC-440 refdesign.
28 #include "exec/page-protection.h"
31 #include "hw/char/serial-mm.h"
40 #include "qemu/error-report.h"
43 #include "hw/intc/ppc-uic.h"
46 #include "hw/qdev-properties.h"
78     env = &cpu->env;  in ppc440_init_xilinx()
101     CPUPPCState *env = &cpu->env;  in main_cpu_reset()
102     struct boot_info *bi = env->load_info;  in main_cpu_reset()
114     env->gpr[1] = (16 * MiB) - 8;  in main_cpu_reset()
115     /* Provide a device-tree.  */  in main_cpu_reset()
116     env->gpr[3] = bi->fdt;  in main_cpu_reset()
117     env->nip = bi->bootstrap_pc;  in main_cpu_reset()
120     booke_set_tlb(&env->tlb.tlbe[0], 0, 0, 1U << 31);  in main_cpu_reset()
121     booke_set_tlb(&env->tlb.tlbe[1], 0x80000000, 0x80000000, 1U << 31);  in main_cpu_reset()
122     env->gpr[6] = EPAPR_MAGIC;  in main_cpu_reset()
123     env->gpr[7] = bi->ima_size;  in main_cpu_reset()
126 #define BINARY_DEVICE_TREE_FILE "virtex-ml507.dtb"
138     dtb_filename = machine->dtb;  in xilinx_load_device_tree()
160     r = qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-start",  in xilinx_load_device_tree()
163         error_report("couldn't set /chosen/linux,initrd-start");  in xilinx_load_device_tree()
166     r = qemu_fdt_setprop_cell(fdt, "/chosen", "linux,initrd-end",  in xilinx_load_device_tree()
169         error_report("couldn't set /chosen/linux,initrd-end");  in xilinx_load_device_tree()
173                                 machine->kernel_cmdline);  in xilinx_load_device_tree()
178     /* Set machine->fdt for 'dumpdtb' QMP/HMP command */  in xilinx_load_device_tree()
179     machine->fdt = fdt;  in xilinx_load_device_tree()
186     const char *kernel_filename = machine->kernel_filename;  in virtex_init()
200     cpu = ppc440_init_xilinx(machine->cpu_type, 400000000);  in virtex_init()
201     env = &cpu->env;  in virtex_init()
203     if (env->mmu_model != POWERPC_MMU_BOOKE) {  in virtex_init()
205                      env->mmu_model);  in virtex_init()
206         exit(1);  in virtex_init()
211     memory_region_add_subregion(address_space_mem, ram_base, machine->ram);  in virtex_init()
216                           64 * KiB, 1, 0x89, 0x18, 0x0000, 0x0, 1);  in virtex_init()
219     dev = qdev_new("xlnx.xps-intc");  in virtex_init()
221     qdev_prop_set_uint32(dev, "kind-of-intr", 0);  in virtex_init()
233     dev = qdev_new("xlnx.xps-timer");  in virtex_init()
235     qdev_prop_set_uint32(dev, "one-timer-only", 0);  in virtex_init()
236     qdev_prop_set_uint32(dev, "clock-frequency", 62 * 1000000);  in virtex_init()
256                                               machine->ram_size);  in virtex_init()
264         if (machine->initrd_filename) {  in virtex_init()
266             initrd_size = load_image_targphys(machine->initrd_filename,  in virtex_init()
267                                               high, machine->ram_size - high);  in virtex_init()
271                              machine->initrd_filename);  in virtex_init()
272                 exit(1);  in virtex_init()
277         /* Provide a device-tree.  */  in virtex_init()
284     env->load_info = &boot_info;  in virtex_init()
289     mc->desc = "Xilinx Virtex ML507 reference design";  in virtex_machine_init()
290     mc->init = virtex_init;  in virtex_machine_init()
291     mc->default_cpu_type = POWERPC_CPU_TYPE_NAME("440-xilinx");  in virtex_machine_init()
292     mc->default_ram_id = "ram";  in virtex_machine_init()
295 DEFINE_MACHINE("virtex-ml507", virtex_machine_init)