2 * Model of Xilinx Virtex5 ML507 PPC-440 refdesign.
4 * Copyright (c) 2010 Edgar E. Iglesias.
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
25 #include "qemu/osdep.h"
26 #include "qemu/datadir.h"
27 #include "qemu/units.h"
29 #include "hw/sysbus.h"
30 #include "hw/char/serial.h"
31 #include "hw/block/flash.h"
32 #include "sysemu/sysemu.h"
33 #include "sysemu/reset.h"
34 #include "hw/boards.h"
35 #include "sysemu/device_tree.h"
36 #include "hw/loader.h"
38 #include "qapi/error.h"
39 #include "qemu/error-report.h"
40 #include "qemu/option.h"
42 #include "hw/intc/ppc-uic.h"
43 #include "hw/ppc/ppc.h"
44 #include "hw/ppc/ppc4xx.h"
45 #include "hw/qdev-properties.h"
50 #define EPAPR_MAGIC (0x45504150)
51 #define FLASH_SIZE (16 * MiB)
53 #define INTC_BASEADDR 0x81800000
54 #define UART16550_BASEADDR 0x83e01003
55 #define TIMER_BASEADDR 0x83c00000
56 #define PFLASH_BASEADDR 0xfc000000
59 #define UART16550_IRQ 9
61 static struct boot_info
63 uint32_t bootstrap_pc
;
70 /* Create reset TLB entries for BookE, spanning the 32bit addr space. */
71 static void mmubooke_create_initial_mapping(CPUPPCState
*env
,
75 ppcemb_tlb_t
*tlb
= &env
->tlb
.tlbe
[0];
78 tlb
->prot
= PAGE_VALID
| ((PAGE_READ
| PAGE_WRITE
| PAGE_EXEC
) << 4);
79 tlb
->size
= 1U << 31; /* up to 0x80000000 */
80 tlb
->EPN
= va
& TARGET_PAGE_MASK
;
81 tlb
->RPN
= pa
& TARGET_PAGE_MASK
;
84 tlb
= &env
->tlb
.tlbe
[1];
86 tlb
->prot
= PAGE_VALID
| ((PAGE_READ
| PAGE_WRITE
| PAGE_EXEC
) << 4);
87 tlb
->size
= 1U << 31; /* up to 0xffffffff */
88 tlb
->EPN
= 0x80000000 & TARGET_PAGE_MASK
;
89 tlb
->RPN
= 0x80000000 & TARGET_PAGE_MASK
;
93 static PowerPCCPU
*ppc440_init_xilinx(const char *cpu_type
, uint32_t sysclk
)
100 cpu
= POWERPC_CPU(cpu_create(cpu_type
));
103 ppc_booke_timers_init(cpu
, sysclk
, 0/* no flags */);
105 ppc_dcr_init(env
, NULL
, NULL
);
107 /* interrupt controller */
108 uicdev
= qdev_new(TYPE_PPC_UIC
);
109 ppc4xx_dcr_realize(PPC4xx_DCR_DEVICE(uicdev
), cpu
, &error_fatal
);
110 object_unref(OBJECT(uicdev
));
111 uicsbd
= SYS_BUS_DEVICE(uicdev
);
112 sysbus_connect_irq(uicsbd
, PPCUIC_OUTPUT_INT
,
113 qdev_get_gpio_in(DEVICE(cpu
), PPC40x_INPUT_INT
));
114 sysbus_connect_irq(uicsbd
, PPCUIC_OUTPUT_CINT
,
115 qdev_get_gpio_in(DEVICE(cpu
), PPC40x_INPUT_CINT
));
117 /* This board doesn't wire anything up to the inputs of the UIC. */
121 static void main_cpu_reset(void *opaque
)
123 PowerPCCPU
*cpu
= opaque
;
124 CPUPPCState
*env
= &cpu
->env
;
125 struct boot_info
*bi
= env
->load_info
;
128 /* Linux Kernel Parameters (passing device tree):
129 * r3: pointer to the fdt
133 * r7: size of IMA in bytes
137 env
->gpr
[1] = (16 * MiB
) - 8;
138 /* Provide a device-tree. */
139 env
->gpr
[3] = bi
->fdt
;
140 env
->nip
= bi
->bootstrap_pc
;
142 /* Create a mapping for the kernel. */
143 mmubooke_create_initial_mapping(env
, 0, 0);
144 env
->gpr
[6] = tswap32(EPAPR_MAGIC
);
145 env
->gpr
[7] = bi
->ima_size
;
148 #define BINARY_DEVICE_TREE_FILE "virtex-ml507.dtb"
149 static int xilinx_load_device_tree(MachineState
*machine
,
158 const char *dtb_filename
;
160 dtb_filename
= machine
->dtb
;
162 fdt
= load_device_tree(dtb_filename
, &fdt_size
);
164 error_report("Error while loading device tree file '%s'",
168 /* Try the local "ppc.dtb" override. */
169 fdt
= load_device_tree("ppc.dtb", &fdt_size
);
171 path
= qemu_find_file(QEMU_FILE_TYPE_BIOS
, BINARY_DEVICE_TREE_FILE
);
173 fdt
= load_device_tree(path
, &fdt_size
);
182 r
= qemu_fdt_setprop_cell(fdt
, "/chosen", "linux,initrd-start",
185 error_report("couldn't set /chosen/linux,initrd-start");
188 r
= qemu_fdt_setprop_cell(fdt
, "/chosen", "linux,initrd-end",
189 (initrd_base
+ initrd_size
));
191 error_report("couldn't set /chosen/linux,initrd-end");
194 r
= qemu_fdt_setprop_string(fdt
, "/chosen", "bootargs",
195 machine
->kernel_cmdline
);
197 fprintf(stderr
, "couldn't set /chosen/bootargs\n");
198 cpu_physical_memory_write(addr
, fdt
, fdt_size
);
200 /* Set machine->fdt for 'dumpdtb' QMP/HMP command */
206 static void virtex_init(MachineState
*machine
)
208 const char *kernel_filename
= machine
->kernel_filename
;
209 hwaddr initrd_base
= 0;
211 MemoryRegion
*address_space_mem
= get_system_memory();
217 qemu_irq irq
[32], cpu_irq
;
222 cpu
= ppc440_init_xilinx(machine
->cpu_type
, 400000000);
225 if (env
->mmu_model
!= POWERPC_MMU_BOOKE
) {
226 error_report("MMU model %i not supported by this machine",
231 qemu_register_reset(main_cpu_reset
, cpu
);
233 memory_region_add_subregion(address_space_mem
, ram_base
, machine
->ram
);
235 dinfo
= drive_get(IF_PFLASH
, 0, 0);
236 pflash_cfi01_register(PFLASH_BASEADDR
, "virtex.flash", FLASH_SIZE
,
237 dinfo
? blk_by_legacy_dinfo(dinfo
) : NULL
,
238 64 * KiB
, 1, 0x89, 0x18, 0x0000, 0x0, 1);
240 cpu_irq
= qdev_get_gpio_in(DEVICE(cpu
), PPC40x_INPUT_INT
);
241 dev
= qdev_new("xlnx.xps-intc");
242 qdev_prop_set_uint32(dev
, "kind-of-intr", 0);
243 sysbus_realize_and_unref(SYS_BUS_DEVICE(dev
), &error_fatal
);
244 sysbus_mmio_map(SYS_BUS_DEVICE(dev
), 0, INTC_BASEADDR
);
245 sysbus_connect_irq(SYS_BUS_DEVICE(dev
), 0, cpu_irq
);
246 for (i
= 0; i
< 32; i
++) {
247 irq
[i
] = qdev_get_gpio_in(dev
, i
);
250 serial_mm_init(address_space_mem
, UART16550_BASEADDR
, 2, irq
[UART16550_IRQ
],
251 115200, serial_hd(0), DEVICE_LITTLE_ENDIAN
);
253 /* 2 timers at irq 2 @ 62 Mhz. */
254 dev
= qdev_new("xlnx.xps-timer");
255 qdev_prop_set_uint32(dev
, "one-timer-only", 0);
256 qdev_prop_set_uint32(dev
, "clock-frequency", 62 * 1000000);
257 sysbus_realize_and_unref(SYS_BUS_DEVICE(dev
), &error_fatal
);
258 sysbus_mmio_map(SYS_BUS_DEVICE(dev
), 0, TIMER_BASEADDR
);
259 sysbus_connect_irq(SYS_BUS_DEVICE(dev
), 0, irq
[TIMER_IRQ
]);
261 if (kernel_filename
) {
262 uint64_t entry
, high
;
265 /* Boots a kernel elf binary. */
266 kernel_size
= load_elf(kernel_filename
, NULL
, NULL
, NULL
,
267 &entry
, NULL
, &high
, NULL
, 1, PPC_ELF_MACHINE
,
269 boot_info
.bootstrap_pc
= entry
& 0x00ffffff;
271 if (kernel_size
< 0) {
272 boot_offset
= 0x1200000;
273 /* If we failed loading ELF's try a raw image. */
274 kernel_size
= load_image_targphys(kernel_filename
,
277 boot_info
.bootstrap_pc
= boot_offset
;
278 high
= boot_info
.bootstrap_pc
+ kernel_size
+ 8192;
281 boot_info
.ima_size
= kernel_size
;
284 if (machine
->initrd_filename
) {
285 initrd_base
= high
= ROUND_UP(high
, 4);
286 initrd_size
= load_image_targphys(machine
->initrd_filename
,
287 high
, machine
->ram_size
- high
);
289 if (initrd_size
< 0) {
290 error_report("couldn't load ram disk '%s'",
291 machine
->initrd_filename
);
294 high
= ROUND_UP(high
+ initrd_size
, 4);
297 /* Provide a device-tree. */
298 boot_info
.fdt
= high
+ (8192 * 2);
299 boot_info
.fdt
&= ~8191;
301 xilinx_load_device_tree(machine
, boot_info
.fdt
,
302 initrd_base
, initrd_size
);
304 env
->load_info
= &boot_info
;
307 static void virtex_machine_init(MachineClass
*mc
)
309 mc
->desc
= "Xilinx Virtex ML507 reference design";
310 mc
->init
= virtex_init
;
311 mc
->default_cpu_type
= POWERPC_CPU_TYPE_NAME("440-xilinx");
312 mc
->default_ram_id
= "ram";
315 DEFINE_MACHINE("virtex-ml507", virtex_machine_init
)