]>
Commit | Line | Data |
---|---|---|
2055283b PM |
1 | /* |
2 | * ARM Versatile Express emulation. | |
3 | * | |
4 | * Copyright (c) 2010 - 2011 B Labs Ltd. | |
5 | * Copyright (c) 2011 Linaro Limited | |
6 | * Written by Bahadir Balban, Amit Mahajan, Peter Maydell | |
7 | * | |
8 | * This program is free software; you can redistribute it and/or modify | |
9 | * it under the terms of the GNU General Public License version 2 as | |
10 | * published by the Free Software Foundation. | |
11 | * | |
12 | * This program is distributed in the hope that it will be useful, | |
13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | * GNU General Public License for more details. | |
16 | * | |
17 | * You should have received a copy of the GNU General Public License along | |
18 | * with this program; if not, see <http://www.gnu.org/licenses/>. | |
6b620ca3 PB |
19 | * |
20 | * Contributions after 2012-01-13 are licensed under the terms of the | |
21 | * GNU GPL, version 2 or (at your option) any later version. | |
2055283b PM |
22 | */ |
23 | ||
24 | #include "sysbus.h" | |
25 | #include "arm-misc.h" | |
26 | #include "primecell.h" | |
27 | #include "devices.h" | |
28 | #include "net.h" | |
29 | #include "sysemu.h" | |
30 | #include "boards.h" | |
e6d17b05 | 31 | #include "exec-memory.h" |
2055283b | 32 | |
2055283b PM |
33 | #define VEXPRESS_BOARD_ID 0x8e0 |
34 | ||
aac1e02c | 35 | static struct arm_boot_info vexpress_binfo; |
2558e0a6 PM |
36 | |
37 | /* Address maps for peripherals: | |
38 | * the Versatile Express motherboard has two possible maps, | |
39 | * the "legacy" one (used for A9) and the "Cortex-A Series" | |
40 | * map (used for newer cores). | |
41 | * Individual daughterboards can also have different maps for | |
42 | * their peripherals. | |
43 | */ | |
44 | ||
45 | enum { | |
46 | VE_SYSREGS, | |
47 | VE_SP810, | |
48 | VE_SERIALPCI, | |
49 | VE_PL041, | |
50 | VE_MMCI, | |
51 | VE_KMI0, | |
52 | VE_KMI1, | |
53 | VE_UART0, | |
54 | VE_UART1, | |
55 | VE_UART2, | |
56 | VE_UART3, | |
57 | VE_WDT, | |
58 | VE_TIMER01, | |
59 | VE_TIMER23, | |
60 | VE_SERIALDVI, | |
61 | VE_RTC, | |
62 | VE_COMPACTFLASH, | |
63 | VE_CLCD, | |
64 | VE_NORFLASH0, | |
65 | VE_NORFLASH0ALIAS, | |
66 | VE_NORFLASH1, | |
67 | VE_SRAM, | |
68 | VE_VIDEORAM, | |
69 | VE_ETHERNET, | |
70 | VE_USB, | |
71 | VE_DAPROM, | |
72 | }; | |
73 | ||
74 | static target_phys_addr_t motherboard_legacy_map[] = { | |
75 | /* CS7: 0x10000000 .. 0x10020000 */ | |
76 | [VE_SYSREGS] = 0x10000000, | |
77 | [VE_SP810] = 0x10001000, | |
78 | [VE_SERIALPCI] = 0x10002000, | |
79 | [VE_PL041] = 0x10004000, | |
80 | [VE_MMCI] = 0x10005000, | |
81 | [VE_KMI0] = 0x10006000, | |
82 | [VE_KMI1] = 0x10007000, | |
83 | [VE_UART0] = 0x10009000, | |
84 | [VE_UART1] = 0x1000a000, | |
85 | [VE_UART2] = 0x1000b000, | |
86 | [VE_UART3] = 0x1000c000, | |
87 | [VE_WDT] = 0x1000f000, | |
88 | [VE_TIMER01] = 0x10011000, | |
89 | [VE_TIMER23] = 0x10012000, | |
90 | [VE_SERIALDVI] = 0x10016000, | |
91 | [VE_RTC] = 0x10017000, | |
92 | [VE_COMPACTFLASH] = 0x1001a000, | |
93 | [VE_CLCD] = 0x1001f000, | |
94 | /* CS0: 0x40000000 .. 0x44000000 */ | |
95 | [VE_NORFLASH0] = 0x40000000, | |
96 | /* CS1: 0x44000000 .. 0x48000000 */ | |
97 | [VE_NORFLASH1] = 0x44000000, | |
98 | /* CS2: 0x48000000 .. 0x4a000000 */ | |
99 | [VE_SRAM] = 0x48000000, | |
100 | /* CS3: 0x4c000000 .. 0x50000000 */ | |
101 | [VE_VIDEORAM] = 0x4c000000, | |
102 | [VE_ETHERNET] = 0x4e000000, | |
103 | [VE_USB] = 0x4f000000, | |
2055283b PM |
104 | }; |
105 | ||
961f195e PM |
106 | static target_phys_addr_t motherboard_aseries_map[] = { |
107 | /* CS0: 0x00000000 .. 0x0c000000 */ | |
108 | [VE_NORFLASH0] = 0x00000000, | |
109 | [VE_NORFLASH0ALIAS] = 0x08000000, | |
110 | /* CS4: 0x0c000000 .. 0x10000000 */ | |
111 | [VE_NORFLASH1] = 0x0c000000, | |
112 | /* CS5: 0x10000000 .. 0x14000000 */ | |
113 | /* CS1: 0x14000000 .. 0x18000000 */ | |
114 | [VE_SRAM] = 0x14000000, | |
115 | /* CS2: 0x18000000 .. 0x1c000000 */ | |
116 | [VE_VIDEORAM] = 0x18000000, | |
117 | [VE_ETHERNET] = 0x1a000000, | |
118 | [VE_USB] = 0x1b000000, | |
119 | /* CS3: 0x1c000000 .. 0x20000000 */ | |
120 | [VE_DAPROM] = 0x1c000000, | |
121 | [VE_SYSREGS] = 0x1c010000, | |
122 | [VE_SP810] = 0x1c020000, | |
123 | [VE_SERIALPCI] = 0x1c030000, | |
124 | [VE_PL041] = 0x1c040000, | |
125 | [VE_MMCI] = 0x1c050000, | |
126 | [VE_KMI0] = 0x1c060000, | |
127 | [VE_KMI1] = 0x1c070000, | |
128 | [VE_UART0] = 0x1c090000, | |
129 | [VE_UART1] = 0x1c0a0000, | |
130 | [VE_UART2] = 0x1c0b0000, | |
131 | [VE_UART3] = 0x1c0c0000, | |
132 | [VE_WDT] = 0x1c0f0000, | |
133 | [VE_TIMER01] = 0x1c110000, | |
134 | [VE_TIMER23] = 0x1c120000, | |
135 | [VE_SERIALDVI] = 0x1c160000, | |
136 | [VE_RTC] = 0x1c170000, | |
137 | [VE_COMPACTFLASH] = 0x1c1a0000, | |
138 | [VE_CLCD] = 0x1c1f0000, | |
139 | }; | |
140 | ||
4c3b29b8 PM |
141 | /* Structure defining the peculiarities of a specific daughterboard */ |
142 | ||
143 | typedef struct VEDBoardInfo VEDBoardInfo; | |
144 | ||
145 | typedef void DBoardInitFn(const VEDBoardInfo *daughterboard, | |
146 | ram_addr_t ram_size, | |
147 | const char *cpu_model, | |
148 | qemu_irq *pic, uint32_t *proc_id); | |
149 | ||
150 | struct VEDBoardInfo { | |
151 | const target_phys_addr_t *motherboard_map; | |
152 | target_phys_addr_t loader_start; | |
96eacf64 | 153 | const target_phys_addr_t gic_cpu_if_addr; |
4c3b29b8 PM |
154 | DBoardInitFn *init; |
155 | }; | |
156 | ||
157 | static void a9_daughterboard_init(const VEDBoardInfo *daughterboard, | |
158 | ram_addr_t ram_size, | |
159 | const char *cpu_model, | |
160 | qemu_irq *pic, uint32_t *proc_id) | |
2055283b | 161 | { |
e6d17b05 AK |
162 | MemoryRegion *sysmem = get_system_memory(); |
163 | MemoryRegion *ram = g_new(MemoryRegion, 1); | |
164 | MemoryRegion *lowram = g_new(MemoryRegion, 1); | |
4c3b29b8 | 165 | DeviceState *dev; |
2055283b PM |
166 | SysBusDevice *busdev; |
167 | qemu_irq *irqp; | |
2055283b PM |
168 | int n; |
169 | qemu_irq cpu_irq[4]; | |
4c3b29b8 | 170 | ram_addr_t low_ram_size; |
2055283b PM |
171 | |
172 | if (!cpu_model) { | |
173 | cpu_model = "cortex-a9"; | |
174 | } | |
175 | ||
4c3b29b8 PM |
176 | *proc_id = 0x0c000191; |
177 | ||
2055283b | 178 | for (n = 0; n < smp_cpus; n++) { |
64c9e297 AF |
179 | ARMCPU *cpu = cpu_arm_init(cpu_model); |
180 | if (!cpu) { | |
2055283b PM |
181 | fprintf(stderr, "Unable to find CPU definition\n"); |
182 | exit(1); | |
183 | } | |
4bd74661 | 184 | irqp = arm_pic_init_cpu(cpu); |
2055283b PM |
185 | cpu_irq[n] = irqp[ARM_PIC_CPU_IRQ]; |
186 | } | |
187 | ||
188 | if (ram_size > 0x40000000) { | |
189 | /* 1GB is the maximum the address space permits */ | |
4c3b29b8 | 190 | fprintf(stderr, "vexpress-a9: cannot model more than 1GB RAM\n"); |
2055283b PM |
191 | exit(1); |
192 | } | |
193 | ||
c5705a77 AK |
194 | memory_region_init_ram(ram, "vexpress.highmem", ram_size); |
195 | vmstate_register_ram_global(ram); | |
2055283b PM |
196 | low_ram_size = ram_size; |
197 | if (low_ram_size > 0x4000000) { | |
198 | low_ram_size = 0x4000000; | |
199 | } | |
200 | /* RAM is from 0x60000000 upwards. The bottom 64MB of the | |
201 | * address space should in theory be remappable to various | |
202 | * things including ROM or RAM; we always map the RAM there. | |
203 | */ | |
e6d17b05 AK |
204 | memory_region_init_alias(lowram, "vexpress.lowmem", ram, 0, low_ram_size); |
205 | memory_region_add_subregion(sysmem, 0x0, lowram); | |
206 | memory_region_add_subregion(sysmem, 0x60000000, ram); | |
2055283b PM |
207 | |
208 | /* 0x1e000000 A9MPCore (SCU) private memory region */ | |
209 | dev = qdev_create(NULL, "a9mpcore_priv"); | |
210 | qdev_prop_set_uint32(dev, "num-cpu", smp_cpus); | |
211 | qdev_init_nofail(dev); | |
212 | busdev = sysbus_from_qdev(dev); | |
96eacf64 | 213 | sysbus_mmio_map(busdev, 0, 0x1e000000); |
2055283b PM |
214 | for (n = 0; n < smp_cpus; n++) { |
215 | sysbus_connect_irq(busdev, n, cpu_irq[n]); | |
216 | } | |
217 | /* Interrupts [42:0] are from the motherboard; | |
218 | * [47:43] are reserved; [63:48] are daughterboard | |
219 | * peripherals. Note that some documentation numbers | |
220 | * external interrupts starting from 32 (because the | |
221 | * A9MP has internal interrupts 0..31). | |
222 | */ | |
223 | for (n = 0; n < 64; n++) { | |
224 | pic[n] = qdev_get_gpio_in(dev, n); | |
225 | } | |
226 | ||
4c3b29b8 PM |
227 | /* Daughterboard peripherals : 0x10020000 .. 0x20000000 */ |
228 | ||
229 | /* 0x10020000 PL111 CLCD (daughterboard) */ | |
230 | sysbus_create_simple("pl111", 0x10020000, pic[44]); | |
231 | ||
232 | /* 0x10060000 AXI RAM */ | |
233 | /* 0x100e0000 PL341 Dynamic Memory Controller */ | |
234 | /* 0x100e1000 PL354 Static Memory Controller */ | |
235 | /* 0x100e2000 System Configuration Controller */ | |
236 | ||
237 | sysbus_create_simple("sp804", 0x100e4000, pic[48]); | |
238 | /* 0x100e5000 SP805 Watchdog module */ | |
239 | /* 0x100e6000 BP147 TrustZone Protection Controller */ | |
240 | /* 0x100e9000 PL301 'Fast' AXI matrix */ | |
241 | /* 0x100ea000 PL301 'Slow' AXI matrix */ | |
242 | /* 0x100ec000 TrustZone Address Space Controller */ | |
243 | /* 0x10200000 CoreSight debug APB */ | |
244 | /* 0x1e00a000 PL310 L2 Cache Controller */ | |
245 | sysbus_create_varargs("l2x0", 0x1e00a000, NULL); | |
246 | } | |
247 | ||
248 | static const VEDBoardInfo a9_daughterboard = { | |
249 | .motherboard_map = motherboard_legacy_map, | |
250 | .loader_start = 0x60000000, | |
96eacf64 | 251 | .gic_cpu_if_addr = 0x1e000100, |
4c3b29b8 PM |
252 | .init = a9_daughterboard_init, |
253 | }; | |
254 | ||
961f195e PM |
255 | static void a15_daughterboard_init(const VEDBoardInfo *daughterboard, |
256 | ram_addr_t ram_size, | |
257 | const char *cpu_model, | |
258 | qemu_irq *pic, uint32_t *proc_id) | |
259 | { | |
260 | int n; | |
961f195e PM |
261 | MemoryRegion *sysmem = get_system_memory(); |
262 | MemoryRegion *ram = g_new(MemoryRegion, 1); | |
263 | MemoryRegion *sram = g_new(MemoryRegion, 1); | |
264 | qemu_irq cpu_irq[4]; | |
265 | DeviceState *dev; | |
266 | SysBusDevice *busdev; | |
267 | ||
268 | if (!cpu_model) { | |
269 | cpu_model = "cortex-a15"; | |
270 | } | |
271 | ||
272 | *proc_id = 0x14000217; | |
273 | ||
274 | for (n = 0; n < smp_cpus; n++) { | |
64c9e297 | 275 | ARMCPU *cpu; |
961f195e | 276 | qemu_irq *irqp; |
64c9e297 AF |
277 | |
278 | cpu = cpu_arm_init(cpu_model); | |
279 | if (!cpu) { | |
961f195e PM |
280 | fprintf(stderr, "Unable to find CPU definition\n"); |
281 | exit(1); | |
282 | } | |
4bd74661 | 283 | irqp = arm_pic_init_cpu(cpu); |
961f195e PM |
284 | cpu_irq[n] = irqp[ARM_PIC_CPU_IRQ]; |
285 | } | |
286 | ||
287 | if (ram_size > 0x80000000) { | |
288 | fprintf(stderr, "vexpress-a15: cannot model more than 2GB RAM\n"); | |
289 | exit(1); | |
290 | } | |
291 | ||
292 | memory_region_init_ram(ram, "vexpress.highmem", ram_size); | |
293 | vmstate_register_ram_global(ram); | |
294 | /* RAM is from 0x80000000 upwards; there is no low-memory alias for it. */ | |
295 | memory_region_add_subregion(sysmem, 0x80000000, ram); | |
296 | ||
297 | /* 0x2c000000 A15MPCore private memory region (GIC) */ | |
298 | dev = qdev_create(NULL, "a15mpcore_priv"); | |
299 | qdev_prop_set_uint32(dev, "num-cpu", smp_cpus); | |
300 | qdev_init_nofail(dev); | |
301 | busdev = sysbus_from_qdev(dev); | |
302 | sysbus_mmio_map(busdev, 0, 0x2c000000); | |
303 | for (n = 0; n < smp_cpus; n++) { | |
304 | sysbus_connect_irq(busdev, n, cpu_irq[n]); | |
305 | } | |
306 | /* Interrupts [42:0] are from the motherboard; | |
307 | * [47:43] are reserved; [63:48] are daughterboard | |
308 | * peripherals. Note that some documentation numbers | |
309 | * external interrupts starting from 32 (because there | |
310 | * are internal interrupts 0..31). | |
311 | */ | |
312 | for (n = 0; n < 64; n++) { | |
313 | pic[n] = qdev_get_gpio_in(dev, n); | |
314 | } | |
315 | ||
316 | /* A15 daughterboard peripherals: */ | |
317 | ||
318 | /* 0x20000000: CoreSight interfaces: not modelled */ | |
319 | /* 0x2a000000: PL301 AXI interconnect: not modelled */ | |
320 | /* 0x2a420000: SCC: not modelled */ | |
321 | /* 0x2a430000: system counter: not modelled */ | |
322 | /* 0x2b000000: HDLCD controller: not modelled */ | |
323 | /* 0x2b060000: SP805 watchdog: not modelled */ | |
324 | /* 0x2b0a0000: PL341 dynamic memory controller: not modelled */ | |
325 | /* 0x2e000000: system SRAM */ | |
326 | memory_region_init_ram(sram, "vexpress.a15sram", 0x10000); | |
327 | vmstate_register_ram_global(sram); | |
328 | memory_region_add_subregion(sysmem, 0x2e000000, sram); | |
329 | ||
330 | /* 0x7ffb0000: DMA330 DMA controller: not modelled */ | |
331 | /* 0x7ffd0000: PL354 static memory controller: not modelled */ | |
332 | } | |
333 | ||
334 | static const VEDBoardInfo a15_daughterboard = { | |
335 | .motherboard_map = motherboard_aseries_map, | |
336 | .loader_start = 0x80000000, | |
337 | .gic_cpu_if_addr = 0x2c002000, | |
338 | .init = a15_daughterboard_init, | |
339 | }; | |
340 | ||
4c3b29b8 PM |
341 | static void vexpress_common_init(const VEDBoardInfo *daughterboard, |
342 | ram_addr_t ram_size, | |
343 | const char *boot_device, | |
344 | const char *kernel_filename, | |
345 | const char *kernel_cmdline, | |
346 | const char *initrd_filename, | |
347 | const char *cpu_model) | |
348 | { | |
349 | DeviceState *dev, *sysctl, *pl041; | |
350 | qemu_irq pic[64]; | |
351 | uint32_t proc_id; | |
352 | uint32_t sys_id; | |
353 | ram_addr_t vram_size, sram_size; | |
354 | MemoryRegion *sysmem = get_system_memory(); | |
355 | MemoryRegion *vram = g_new(MemoryRegion, 1); | |
356 | MemoryRegion *sram = g_new(MemoryRegion, 1); | |
357 | const target_phys_addr_t *map = daughterboard->motherboard_map; | |
358 | ||
359 | daughterboard->init(daughterboard, ram_size, cpu_model, pic, &proc_id); | |
360 | ||
2558e0a6 PM |
361 | /* Motherboard peripherals: the wiring is the same but the |
362 | * addresses vary between the legacy and A-Series memory maps. | |
363 | */ | |
364 | ||
2055283b | 365 | sys_id = 0x1190f500; |
2055283b | 366 | |
2055283b PM |
367 | sysctl = qdev_create(NULL, "realview_sysctl"); |
368 | qdev_prop_set_uint32(sysctl, "sys_id", sys_id); | |
2055283b | 369 | qdev_prop_set_uint32(sysctl, "proc_id", proc_id); |
7a65c8cc | 370 | qdev_init_nofail(sysctl); |
2558e0a6 PM |
371 | sysbus_mmio_map(sysbus_from_qdev(sysctl), 0, map[VE_SYSREGS]); |
372 | ||
373 | /* VE_SP810: not modelled */ | |
374 | /* VE_SERIALPCI: not modelled */ | |
2055283b | 375 | |
03a0e944 PM |
376 | pl041 = qdev_create(NULL, "pl041"); |
377 | qdev_prop_set_uint32(pl041, "nc_fifo_depth", 512); | |
378 | qdev_init_nofail(pl041); | |
2558e0a6 | 379 | sysbus_mmio_map(sysbus_from_qdev(pl041), 0, map[VE_PL041]); |
03a0e944 | 380 | sysbus_connect_irq(sysbus_from_qdev(pl041), 0, pic[11]); |
2055283b | 381 | |
2558e0a6 | 382 | dev = sysbus_create_varargs("pl181", map[VE_MMCI], pic[9], pic[10], NULL); |
2055283b PM |
383 | /* Wire up MMC card detect and read-only signals */ |
384 | qdev_connect_gpio_out(dev, 0, | |
385 | qdev_get_gpio_in(sysctl, ARM_SYSCTL_GPIO_MMC_WPROT)); | |
386 | qdev_connect_gpio_out(dev, 1, | |
387 | qdev_get_gpio_in(sysctl, ARM_SYSCTL_GPIO_MMC_CARDIN)); | |
388 | ||
2558e0a6 PM |
389 | sysbus_create_simple("pl050_keyboard", map[VE_KMI0], pic[12]); |
390 | sysbus_create_simple("pl050_mouse", map[VE_KMI1], pic[13]); | |
2055283b | 391 | |
2558e0a6 PM |
392 | sysbus_create_simple("pl011", map[VE_UART0], pic[5]); |
393 | sysbus_create_simple("pl011", map[VE_UART1], pic[6]); | |
394 | sysbus_create_simple("pl011", map[VE_UART2], pic[7]); | |
395 | sysbus_create_simple("pl011", map[VE_UART3], pic[8]); | |
2055283b | 396 | |
2558e0a6 PM |
397 | sysbus_create_simple("sp804", map[VE_TIMER01], pic[2]); |
398 | sysbus_create_simple("sp804", map[VE_TIMER23], pic[3]); | |
2055283b | 399 | |
2558e0a6 | 400 | /* VE_SERIALDVI: not modelled */ |
2055283b | 401 | |
2558e0a6 | 402 | sysbus_create_simple("pl031", map[VE_RTC], pic[4]); /* RTC */ |
2055283b | 403 | |
2558e0a6 | 404 | /* VE_COMPACTFLASH: not modelled */ |
2055283b | 405 | |
b7206878 | 406 | sysbus_create_simple("pl111", map[VE_CLCD], pic[14]); |
2055283b | 407 | |
2558e0a6 PM |
408 | /* VE_NORFLASH0: not modelled */ |
409 | /* VE_NORFLASH0ALIAS: not modelled */ | |
410 | /* VE_NORFLASH1: not modelled */ | |
411 | ||
2055283b | 412 | sram_size = 0x2000000; |
c5705a77 AK |
413 | memory_region_init_ram(sram, "vexpress.sram", sram_size); |
414 | vmstate_register_ram_global(sram); | |
2558e0a6 | 415 | memory_region_add_subregion(sysmem, map[VE_SRAM], sram); |
2055283b | 416 | |
2055283b | 417 | vram_size = 0x800000; |
c5705a77 AK |
418 | memory_region_init_ram(vram, "vexpress.vram", vram_size); |
419 | vmstate_register_ram_global(vram); | |
2558e0a6 | 420 | memory_region_add_subregion(sysmem, map[VE_VIDEORAM], vram); |
2055283b PM |
421 | |
422 | /* 0x4e000000 LAN9118 Ethernet */ | |
423 | if (nd_table[0].vlan) { | |
2558e0a6 | 424 | lan9118_init(&nd_table[0], map[VE_ETHERNET], pic[15]); |
2055283b PM |
425 | } |
426 | ||
2558e0a6 PM |
427 | /* VE_USB: not modelled */ |
428 | ||
429 | /* VE_DAPROM: not modelled */ | |
2055283b | 430 | |
2055283b PM |
431 | vexpress_binfo.ram_size = ram_size; |
432 | vexpress_binfo.kernel_filename = kernel_filename; | |
433 | vexpress_binfo.kernel_cmdline = kernel_cmdline; | |
434 | vexpress_binfo.initrd_filename = initrd_filename; | |
435 | vexpress_binfo.nb_cpus = smp_cpus; | |
436 | vexpress_binfo.board_id = VEXPRESS_BOARD_ID; | |
4c3b29b8 | 437 | vexpress_binfo.loader_start = daughterboard->loader_start; |
aac1e02c | 438 | vexpress_binfo.smp_loader_start = map[VE_SRAM]; |
2558e0a6 | 439 | vexpress_binfo.smp_bootreg_addr = map[VE_SYSREGS] + 0x30; |
96eacf64 | 440 | vexpress_binfo.gic_cpu_if_addr = daughterboard->gic_cpu_if_addr; |
3aaa8dfa | 441 | arm_load_kernel(arm_env_get_cpu(first_cpu), &vexpress_binfo); |
2055283b PM |
442 | } |
443 | ||
4c3b29b8 PM |
444 | static void vexpress_a9_init(ram_addr_t ram_size, |
445 | const char *boot_device, | |
446 | const char *kernel_filename, | |
447 | const char *kernel_cmdline, | |
448 | const char *initrd_filename, | |
449 | const char *cpu_model) | |
450 | { | |
451 | vexpress_common_init(&a9_daughterboard, | |
452 | ram_size, boot_device, kernel_filename, | |
453 | kernel_cmdline, initrd_filename, cpu_model); | |
454 | } | |
2055283b | 455 | |
961f195e PM |
456 | static void vexpress_a15_init(ram_addr_t ram_size, |
457 | const char *boot_device, | |
458 | const char *kernel_filename, | |
459 | const char *kernel_cmdline, | |
460 | const char *initrd_filename, | |
461 | const char *cpu_model) | |
462 | { | |
463 | vexpress_common_init(&a15_daughterboard, | |
464 | ram_size, boot_device, kernel_filename, | |
465 | kernel_cmdline, initrd_filename, cpu_model); | |
466 | } | |
467 | ||
2055283b PM |
468 | static QEMUMachine vexpress_a9_machine = { |
469 | .name = "vexpress-a9", | |
470 | .desc = "ARM Versatile Express for Cortex-A9", | |
471 | .init = vexpress_a9_init, | |
472 | .use_scsi = 1, | |
473 | .max_cpus = 4, | |
474 | }; | |
475 | ||
961f195e PM |
476 | static QEMUMachine vexpress_a15_machine = { |
477 | .name = "vexpress-a15", | |
478 | .desc = "ARM Versatile Express for Cortex-A15", | |
479 | .init = vexpress_a15_init, | |
480 | .use_scsi = 1, | |
481 | .max_cpus = 4, | |
482 | }; | |
483 | ||
2055283b PM |
484 | static void vexpress_machine_init(void) |
485 | { | |
486 | qemu_register_machine(&vexpress_a9_machine); | |
961f195e | 487 | qemu_register_machine(&vexpress_a15_machine); |
2055283b PM |
488 | } |
489 | ||
490 | machine_init(vexpress_machine_init); |