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
33 #include "device_tree.h"
37 #include "exec-memory.h"
46 #define EPAPR_MAGIC (0x45504150)
47 #define FLASH_SIZE (16 * 1024 * 1024)
49 static struct boot_info
51 uint32_t bootstrap_pc
;
58 /* Create reset TLB entries for BookE, spanning the 32bit addr space. */
59 static void mmubooke_create_initial_mapping(CPUPPCState
*env
,
61 target_phys_addr_t pa
)
63 ppcemb_tlb_t
*tlb
= &env
->tlb
.tlbe
[0];
66 tlb
->prot
= PAGE_VALID
| ((PAGE_READ
| PAGE_WRITE
| PAGE_EXEC
) << 4);
67 tlb
->size
= 1 << 31; /* up to 0x80000000 */
68 tlb
->EPN
= va
& TARGET_PAGE_MASK
;
69 tlb
->RPN
= pa
& TARGET_PAGE_MASK
;
72 tlb
= &env
->tlb
.tlbe
[1];
74 tlb
->prot
= PAGE_VALID
| ((PAGE_READ
| PAGE_WRITE
| PAGE_EXEC
) << 4);
75 tlb
->size
= 1 << 31; /* up to 0xffffffff */
76 tlb
->EPN
= 0x80000000 & TARGET_PAGE_MASK
;
77 tlb
->RPN
= 0x80000000 & TARGET_PAGE_MASK
;
81 static PowerPCCPU
*ppc440_init_xilinx(ram_addr_t
*ram_size
,
83 const char *cpu_model
,
90 cpu
= cpu_ppc_init(cpu_model
);
92 fprintf(stderr
, "Unable to initialize CPU!\n");
97 ppc_booke_timers_init(env
, sysclk
, 0/* no flags */);
99 ppc_dcr_init(env
, NULL
, NULL
);
101 /* interrupt controller */
102 irqs
= g_malloc0(sizeof(qemu_irq
) * PPCUIC_OUTPUT_NB
);
103 irqs
[PPCUIC_OUTPUT_INT
] = ((qemu_irq
*)env
->irq_inputs
)[PPC40x_INPUT_INT
];
104 irqs
[PPCUIC_OUTPUT_CINT
] = ((qemu_irq
*)env
->irq_inputs
)[PPC40x_INPUT_CINT
];
105 ppcuic_init(env
, irqs
, 0x0C0, 0, 1);
109 static void main_cpu_reset(void *opaque
)
111 PowerPCCPU
*cpu
= opaque
;
112 CPUPPCState
*env
= &cpu
->env
;
113 struct boot_info
*bi
= env
->load_info
;
116 /* Linux Kernel Parameters (passing device tree):
117 * r3: pointer to the fdt
121 * r7: size of IMA in bytes
125 env
->gpr
[1] = (16<<20) - 8;
126 /* Provide a device-tree. */
127 env
->gpr
[3] = bi
->fdt
;
128 env
->nip
= bi
->bootstrap_pc
;
130 /* Create a mapping for the kernel. */
131 mmubooke_create_initial_mapping(env
, 0, 0);
132 env
->gpr
[6] = tswap32(EPAPR_MAGIC
);
133 env
->gpr
[7] = bi
->ima_size
;
136 #define BINARY_DEVICE_TREE_FILE "virtex-ml507.dtb"
137 static int xilinx_load_device_tree(target_phys_addr_t addr
,
139 target_phys_addr_t initrd_base
,
140 target_phys_addr_t initrd_size
,
141 const char *kernel_cmdline
)
149 /* Try the local "ppc.dtb" override. */
150 fdt
= load_device_tree("ppc.dtb", &fdt_size
);
152 path
= qemu_find_file(QEMU_FILE_TYPE_BIOS
, BINARY_DEVICE_TREE_FILE
);
154 fdt
= load_device_tree(path
, &fdt_size
);
162 r
= qemu_devtree_setprop_string(fdt
, "/chosen", "bootargs", kernel_cmdline
);
164 fprintf(stderr
, "couldn't set /chosen/bootargs\n");
165 cpu_physical_memory_write (addr
, (void *)fdt
, fdt_size
);
167 /* We lack libfdt so we cannot manipulate the fdt. Just pass on the blob
169 fdt_size
= load_image_targphys("ppc.dtb", addr
, 0x10000);
171 path
= qemu_find_file(QEMU_FILE_TYPE_BIOS
, BINARY_DEVICE_TREE_FILE
);
173 fdt_size
= load_image_targphys(path
, addr
, 0x10000);
178 if (kernel_cmdline
) {
180 "Warning: missing libfdt, cannot pass cmdline to kernel!\n");
186 static void virtex_init(ram_addr_t ram_size
,
187 const char *boot_device
,
188 const char *kernel_filename
,
189 const char *kernel_cmdline
,
190 const char *initrd_filename
, const char *cpu_model
)
192 MemoryRegion
*address_space_mem
= get_system_memory();
196 target_phys_addr_t ram_base
= 0;
198 MemoryRegion
*phys_ram
= g_new(MemoryRegion
, 1);
199 qemu_irq irq
[32], *cpu_irq
;
204 if (cpu_model
== NULL
) {
205 cpu_model
= "440-Xilinx";
208 cpu
= ppc440_init_xilinx(&ram_size
, 1, cpu_model
, 400000000);
210 qemu_register_reset(main_cpu_reset
, cpu
);
212 memory_region_init_ram(phys_ram
, "ram", ram_size
);
213 vmstate_register_ram_global(phys_ram
);
214 memory_region_add_subregion(address_space_mem
, ram_base
, phys_ram
);
216 dinfo
= drive_get(IF_PFLASH
, 0, 0);
217 pflash_cfi01_register(0xfc000000, NULL
, "virtex.flash", FLASH_SIZE
,
218 dinfo
? dinfo
->bdrv
: NULL
, (64 * 1024),
220 1, 0x89, 0x18, 0x0000, 0x0, 1);
222 cpu_irq
= (qemu_irq
*) &env
->irq_inputs
[PPC40x_INPUT_INT
];
223 dev
= xilinx_intc_create(0x81800000, cpu_irq
[0], 0);
224 for (i
= 0; i
< 32; i
++) {
225 irq
[i
] = qdev_get_gpio_in(dev
, i
);
228 serial_mm_init(address_space_mem
, 0x83e01003ULL
, 2, irq
[9], 115200,
229 serial_hds
[0], DEVICE_LITTLE_ENDIAN
);
231 /* 2 timers at irq 2 @ 62 Mhz. */
232 xilinx_timer_create(0x83c00000, irq
[3], 0, 62 * 1000000);
234 if (kernel_filename
) {
235 uint64_t entry
, low
, high
;
236 target_phys_addr_t boot_offset
;
238 /* Boots a kernel elf binary. */
239 kernel_size
= load_elf(kernel_filename
, NULL
, NULL
,
240 &entry
, &low
, &high
, 1, ELF_MACHINE
, 0);
241 boot_info
.bootstrap_pc
= entry
& 0x00ffffff;
243 if (kernel_size
< 0) {
244 boot_offset
= 0x1200000;
245 /* If we failed loading ELF's try a raw image. */
246 kernel_size
= load_image_targphys(kernel_filename
,
249 boot_info
.bootstrap_pc
= boot_offset
;
250 high
= boot_info
.bootstrap_pc
+ kernel_size
+ 8192;
253 boot_info
.ima_size
= kernel_size
;
255 /* Provide a device-tree. */
256 boot_info
.fdt
= high
+ (8192 * 2);
257 boot_info
.fdt
&= ~8191;
258 xilinx_load_device_tree(boot_info
.fdt
, ram_size
, 0, 0, kernel_cmdline
);
260 env
->load_info
= &boot_info
;
263 static QEMUMachine virtex_machine
= {
264 .name
= "virtex-ml507",
265 .desc
= "Xilinx Virtex ML507 reference design",
269 static void virtex_machine_init(void)
271 qemu_register_machine(&virtex_machine
);
274 machine_init(virtex_machine_init
);