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 CPUPPCState
*ppc440_init_xilinx(ram_addr_t
*ram_size
,
83 const char *cpu_model
,
89 env
= cpu_init(cpu_model
);
91 fprintf(stderr
, "Unable to initialize CPU!\n");
95 ppc_booke_timers_init(env
, sysclk
, 0/* no flags */);
97 ppc_dcr_init(env
, NULL
, NULL
);
99 /* interrupt controller */
100 irqs
= g_malloc0(sizeof(qemu_irq
) * PPCUIC_OUTPUT_NB
);
101 irqs
[PPCUIC_OUTPUT_INT
] = ((qemu_irq
*)env
->irq_inputs
)[PPC40x_INPUT_INT
];
102 irqs
[PPCUIC_OUTPUT_CINT
] = ((qemu_irq
*)env
->irq_inputs
)[PPC40x_INPUT_CINT
];
103 ppcuic_init(env
, irqs
, 0x0C0, 0, 1);
107 static void main_cpu_reset(void *opaque
)
109 CPUPPCState
*env
= opaque
;
110 struct boot_info
*bi
= env
->load_info
;
112 cpu_state_reset(env
);
113 /* Linux Kernel Parameters (passing device tree):
114 * r3: pointer to the fdt
118 * r7: size of IMA in bytes
122 env
->gpr
[1] = (16<<20) - 8;
123 /* Provide a device-tree. */
124 env
->gpr
[3] = bi
->fdt
;
125 env
->nip
= bi
->bootstrap_pc
;
127 /* Create a mapping for the kernel. */
128 mmubooke_create_initial_mapping(env
, 0, 0);
129 env
->gpr
[6] = tswap32(EPAPR_MAGIC
);
130 env
->gpr
[7] = bi
->ima_size
;
133 #define BINARY_DEVICE_TREE_FILE "virtex-ml507.dtb"
134 static int xilinx_load_device_tree(target_phys_addr_t addr
,
136 target_phys_addr_t initrd_base
,
137 target_phys_addr_t initrd_size
,
138 const char *kernel_cmdline
)
146 /* Try the local "ppc.dtb" override. */
147 fdt
= load_device_tree("ppc.dtb", &fdt_size
);
149 path
= qemu_find_file(QEMU_FILE_TYPE_BIOS
, BINARY_DEVICE_TREE_FILE
);
151 fdt
= load_device_tree(path
, &fdt_size
);
159 r
= qemu_devtree_setprop_string(fdt
, "/chosen", "bootargs", kernel_cmdline
);
161 fprintf(stderr
, "couldn't set /chosen/bootargs\n");
162 cpu_physical_memory_write (addr
, (void *)fdt
, fdt_size
);
164 /* We lack libfdt so we cannot manipulate the fdt. Just pass on the blob
166 fdt_size
= load_image_targphys("ppc.dtb", addr
, 0x10000);
168 path
= qemu_find_file(QEMU_FILE_TYPE_BIOS
, BINARY_DEVICE_TREE_FILE
);
170 fdt_size
= load_image_targphys(path
, addr
, 0x10000);
175 if (kernel_cmdline
) {
177 "Warning: missing libfdt, cannot pass cmdline to kernel!\n");
183 static void virtex_init(ram_addr_t ram_size
,
184 const char *boot_device
,
185 const char *kernel_filename
,
186 const char *kernel_cmdline
,
187 const char *initrd_filename
, const char *cpu_model
)
189 MemoryRegion
*address_space_mem
= get_system_memory();
192 target_phys_addr_t ram_base
= 0;
194 MemoryRegion
*phys_ram
= g_new(MemoryRegion
, 1);
195 qemu_irq irq
[32], *cpu_irq
;
200 if (cpu_model
== NULL
) {
201 cpu_model
= "440-Xilinx";
204 env
= ppc440_init_xilinx(&ram_size
, 1, cpu_model
, 400000000);
205 qemu_register_reset(main_cpu_reset
, env
);
207 memory_region_init_ram(phys_ram
, "ram", ram_size
);
208 vmstate_register_ram_global(phys_ram
);
209 memory_region_add_subregion(address_space_mem
, ram_base
, phys_ram
);
211 dinfo
= drive_get(IF_PFLASH
, 0, 0);
212 pflash_cfi01_register(0xfc000000, NULL
, "virtex.flash", FLASH_SIZE
,
213 dinfo
? dinfo
->bdrv
: NULL
, (64 * 1024),
215 1, 0x89, 0x18, 0x0000, 0x0, 1);
217 cpu_irq
= (qemu_irq
*) &env
->irq_inputs
[PPC40x_INPUT_INT
];
218 dev
= xilinx_intc_create(0x81800000, cpu_irq
[0], 0);
219 for (i
= 0; i
< 32; i
++) {
220 irq
[i
] = qdev_get_gpio_in(dev
, i
);
223 serial_mm_init(address_space_mem
, 0x83e01003ULL
, 2, irq
[9], 115200,
224 serial_hds
[0], DEVICE_LITTLE_ENDIAN
);
226 /* 2 timers at irq 2 @ 62 Mhz. */
227 xilinx_timer_create(0x83c00000, irq
[3], 2, 62 * 1000000);
229 if (kernel_filename
) {
230 uint64_t entry
, low
, high
;
231 target_phys_addr_t boot_offset
;
233 /* Boots a kernel elf binary. */
234 kernel_size
= load_elf(kernel_filename
, NULL
, NULL
,
235 &entry
, &low
, &high
, 1, ELF_MACHINE
, 0);
236 boot_info
.bootstrap_pc
= entry
& 0x00ffffff;
238 if (kernel_size
< 0) {
239 boot_offset
= 0x1200000;
240 /* If we failed loading ELF's try a raw image. */
241 kernel_size
= load_image_targphys(kernel_filename
,
244 boot_info
.bootstrap_pc
= boot_offset
;
245 high
= boot_info
.bootstrap_pc
+ kernel_size
+ 8192;
248 boot_info
.ima_size
= kernel_size
;
250 /* Provide a device-tree. */
251 boot_info
.fdt
= high
+ (8192 * 2);
252 boot_info
.fdt
&= ~8191;
253 xilinx_load_device_tree(boot_info
.fdt
, ram_size
, 0, 0, kernel_cmdline
);
255 env
->load_info
= &boot_info
;
258 static QEMUMachine virtex_machine
= {
259 .name
= "virtex-ml507",
260 .desc
= "Xilinx Virtex ML507 reference design",
264 static void virtex_machine_init(void)
266 qemu_register_machine(&virtex_machine
);
269 machine_init(virtex_machine_init
);