1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22#include "qemu/osdep.h"
23#include "qemu/error-report.h"
24#include "qapi/error.h"
25#include "exec/address-spaces.h"
26#include "sysemu/sysemu.h"
27#include "hw/arm/boot.h"
28#include "hw/arm/armsse.h"
29#include "hw/boards.h"
30#include "hw/char/pl011.h"
31#include "hw/core/split-irq.h"
32#include "hw/misc/tz-mpc.h"
33#include "hw/misc/tz-ppc.h"
34#include "hw/misc/unimp.h"
35#include "hw/rtc/pl031.h"
36
37#define MUSCA_NUMIRQ_MAX 96
38#define MUSCA_PPC_MAX 3
39#define MUSCA_MPC_MAX 5
40
41typedef struct MPCInfo MPCInfo;
42
43typedef enum MuscaType {
44 MUSCA_A,
45 MUSCA_B1,
46} MuscaType;
47
48typedef struct {
49 MachineClass parent;
50 MuscaType type;
51 uint32_t init_svtor;
52 int sram_addr_width;
53 int num_irqs;
54 const MPCInfo *mpc_info;
55 int num_mpcs;
56} MuscaMachineClass;
57
58typedef struct {
59 MachineState parent;
60
61 ARMSSE sse;
62
63 MemoryRegion ram[MUSCA_MPC_MAX];
64 SplitIRQ cpu_irq_splitter[MUSCA_NUMIRQ_MAX];
65 SplitIRQ sec_resp_splitter;
66 TZPPC ppc[MUSCA_PPC_MAX];
67 MemoryRegion container;
68 UnimplementedDeviceState eflash[2];
69 UnimplementedDeviceState qspi;
70 TZMPC mpc[MUSCA_MPC_MAX];
71 UnimplementedDeviceState mhu[2];
72 UnimplementedDeviceState pwm[3];
73 UnimplementedDeviceState i2s;
74 PL011State uart[2];
75 UnimplementedDeviceState i2c[2];
76 UnimplementedDeviceState spi;
77 UnimplementedDeviceState scc;
78 UnimplementedDeviceState timer;
79 PL031State rtc;
80 UnimplementedDeviceState pvt;
81 UnimplementedDeviceState sdio;
82 UnimplementedDeviceState gpio;
83 UnimplementedDeviceState cryptoisland;
84} MuscaMachineState;
85
86#define TYPE_MUSCA_MACHINE "musca"
87#define TYPE_MUSCA_A_MACHINE MACHINE_TYPE_NAME("musca-a")
88#define TYPE_MUSCA_B1_MACHINE MACHINE_TYPE_NAME("musca-b1")
89
90#define MUSCA_MACHINE(obj) \
91 OBJECT_CHECK(MuscaMachineState, obj, TYPE_MUSCA_MACHINE)
92#define MUSCA_MACHINE_GET_CLASS(obj) \
93 OBJECT_GET_CLASS(MuscaMachineClass, obj, TYPE_MUSCA_MACHINE)
94#define MUSCA_MACHINE_CLASS(klass) \
95 OBJECT_CLASS_CHECK(MuscaMachineClass, klass, TYPE_MUSCA_MACHINE)
96
97
98
99
100
101
102#define SYSCLK_FRQ 40000000
103
104static qemu_irq get_sse_irq_in(MuscaMachineState *mms, int irqno)
105{
106
107 assert(irqno < MUSCA_NUMIRQ_MAX);
108
109 return qdev_get_gpio_in(DEVICE(&mms->cpu_irq_splitter[irqno]), 0);
110}
111
112
113
114
115
116
117
118
119
120typedef MemoryRegion *MakeDevFn(MuscaMachineState *mms, void *opaque,
121 const char *name, hwaddr size);
122
123typedef struct PPCPortInfo {
124 const char *name;
125 MakeDevFn *devfn;
126 void *opaque;
127 hwaddr addr;
128 hwaddr size;
129} PPCPortInfo;
130
131typedef struct PPCInfo {
132 const char *name;
133 PPCPortInfo ports[TZ_NUM_PORTS];
134} PPCInfo;
135
136static MemoryRegion *make_unimp_dev(MuscaMachineState *mms,
137 void *opaque, const char *name, hwaddr size)
138{
139
140
141
142
143 UnimplementedDeviceState *uds = opaque;
144
145 sysbus_init_child_obj(OBJECT(mms), name, uds,
146 sizeof(UnimplementedDeviceState),
147 TYPE_UNIMPLEMENTED_DEVICE);
148 qdev_prop_set_string(DEVICE(uds), "name", name);
149 qdev_prop_set_uint64(DEVICE(uds), "size", size);
150 object_property_set_bool(OBJECT(uds), true, "realized", &error_fatal);
151 return sysbus_mmio_get_region(SYS_BUS_DEVICE(uds), 0);
152}
153
154typedef enum MPCInfoType {
155 MPC_RAM,
156 MPC_ROM,
157 MPC_CRYPTOISLAND,
158} MPCInfoType;
159
160struct MPCInfo {
161 const char *name;
162 hwaddr addr;
163 hwaddr size;
164 MPCInfoType type;
165};
166
167
168static const MPCInfo a_mpc_info[] = { {
169 .name = "qspi",
170 .type = MPC_ROM,
171 .addr = 0x00200000,
172 .size = 0x00800000,
173 }, {
174 .name = "sram",
175 .type = MPC_RAM,
176 .addr = 0x00000000,
177 .size = 0x00200000,
178 }
179};
180
181static const MPCInfo b1_mpc_info[] = { {
182 .name = "qspi",
183 .type = MPC_ROM,
184 .addr = 0x00000000,
185 .size = 0x02000000,
186 }, {
187 .name = "sram",
188 .type = MPC_RAM,
189 .addr = 0x0a400000,
190 .size = 0x00080000,
191 }, {
192 .name = "eflash0",
193 .type = MPC_ROM,
194 .addr = 0x0a000000,
195 .size = 0x00200000,
196 }, {
197 .name = "eflash1",
198 .type = MPC_ROM,
199 .addr = 0x0a200000,
200 .size = 0x00200000,
201 }, {
202 .name = "cryptoisland",
203 .type = MPC_CRYPTOISLAND,
204 .addr = 0x0a000000,
205 .size = 0x00200000,
206 }
207};
208
209static MemoryRegion *make_mpc(MuscaMachineState *mms, void *opaque,
210 const char *name, hwaddr size)
211{
212
213
214
215
216
217
218
219
220
221
222
223
224 MuscaMachineClass *mmc = MUSCA_MACHINE_GET_CLASS(mms);
225 TZMPC *mpc = opaque;
226 int i = mpc - &mms->mpc[0];
227 MemoryRegion *downstream;
228 MemoryRegion *upstream;
229 UnimplementedDeviceState *uds;
230 char *mpcname;
231 const MPCInfo *mpcinfo = mmc->mpc_info;
232
233 mpcname = g_strdup_printf("%s-mpc", mpcinfo[i].name);
234
235 switch (mpcinfo[i].type) {
236 case MPC_ROM:
237 downstream = &mms->ram[i];
238 memory_region_init_rom(downstream, NULL, mpcinfo[i].name,
239 mpcinfo[i].size, &error_fatal);
240 break;
241 case MPC_RAM:
242 downstream = &mms->ram[i];
243 memory_region_init_ram(downstream, NULL, mpcinfo[i].name,
244 mpcinfo[i].size, &error_fatal);
245 break;
246 case MPC_CRYPTOISLAND:
247
248 uds = &mms->cryptoisland;
249 sysbus_init_child_obj(OBJECT(mms), name, uds,
250 sizeof(UnimplementedDeviceState),
251 TYPE_UNIMPLEMENTED_DEVICE);
252 qdev_prop_set_string(DEVICE(uds), "name", mpcinfo[i].name);
253 qdev_prop_set_uint64(DEVICE(uds), "size", mpcinfo[i].size);
254 object_property_set_bool(OBJECT(uds), true, "realized", &error_fatal);
255 downstream = sysbus_mmio_get_region(SYS_BUS_DEVICE(uds), 0);
256 break;
257 default:
258 g_assert_not_reached();
259 }
260
261 sysbus_init_child_obj(OBJECT(mms), mpcname, mpc, sizeof(mms->mpc[0]),
262 TYPE_TZ_MPC);
263 object_property_set_link(OBJECT(mpc), OBJECT(downstream),
264 "downstream", &error_fatal);
265 object_property_set_bool(OBJECT(mpc), true, "realized", &error_fatal);
266
267 upstream = sysbus_mmio_get_region(SYS_BUS_DEVICE(mpc), 1);
268 memory_region_add_subregion(get_system_memory(), mpcinfo[i].addr, upstream);
269
270 qdev_connect_gpio_out_named(DEVICE(mpc), "irq", 0,
271 qdev_get_gpio_in_named(DEVICE(&mms->sse),
272 "mpcexp_status", i));
273
274 g_free(mpcname);
275
276 return sysbus_mmio_get_region(SYS_BUS_DEVICE(mpc), 0);
277}
278
279static MemoryRegion *make_rtc(MuscaMachineState *mms, void *opaque,
280 const char *name, hwaddr size)
281{
282 PL031State *rtc = opaque;
283
284 sysbus_init_child_obj(OBJECT(mms), name, rtc, sizeof(mms->rtc), TYPE_PL031);
285 object_property_set_bool(OBJECT(rtc), true, "realized", &error_fatal);
286 sysbus_connect_irq(SYS_BUS_DEVICE(rtc), 0, get_sse_irq_in(mms, 39));
287 return sysbus_mmio_get_region(SYS_BUS_DEVICE(rtc), 0);
288}
289
290static MemoryRegion *make_uart(MuscaMachineState *mms, void *opaque,
291 const char *name, hwaddr size)
292{
293 PL011State *uart = opaque;
294 int i = uart - &mms->uart[0];
295 int irqbase = 7 + i * 6;
296 SysBusDevice *s;
297
298 sysbus_init_child_obj(OBJECT(mms), name, uart, sizeof(mms->uart[0]),
299 TYPE_PL011);
300 qdev_prop_set_chr(DEVICE(uart), "chardev", serial_hd(i));
301 object_property_set_bool(OBJECT(uart), true, "realized", &error_fatal);
302 s = SYS_BUS_DEVICE(uart);
303 sysbus_connect_irq(s, 0, get_sse_irq_in(mms, irqbase + 5));
304 sysbus_connect_irq(s, 1, get_sse_irq_in(mms, irqbase + 0));
305 sysbus_connect_irq(s, 2, get_sse_irq_in(mms, irqbase + 1));
306 sysbus_connect_irq(s, 3, get_sse_irq_in(mms, irqbase + 2));
307 sysbus_connect_irq(s, 4, get_sse_irq_in(mms, irqbase + 3));
308 sysbus_connect_irq(s, 5, get_sse_irq_in(mms, irqbase + 4));
309 return sysbus_mmio_get_region(SYS_BUS_DEVICE(uart), 0);
310}
311
312static MemoryRegion *make_musca_a_devs(MuscaMachineState *mms, void *opaque,
313 const char *name, hwaddr size)
314{
315
316
317
318
319
320
321
322
323 int i;
324 MemoryRegion *container = &mms->container;
325
326 const PPCPortInfo devices[] = {
327 { "uart0", make_uart, &mms->uart[0], 0x1000, 0x1000 },
328 { "uart1", make_uart, &mms->uart[1], 0x2000, 0x1000 },
329 { "spi", make_unimp_dev, &mms->spi, 0x3000, 0x1000 },
330 { "i2c0", make_unimp_dev, &mms->i2c[0], 0x4000, 0x1000 },
331 { "i2c1", make_unimp_dev, &mms->i2c[1], 0x5000, 0x1000 },
332 { "i2s", make_unimp_dev, &mms->i2s, 0x6000, 0x1000 },
333 { "pwm0", make_unimp_dev, &mms->pwm[0], 0x7000, 0x1000 },
334 { "rtc", make_rtc, &mms->rtc, 0x8000, 0x1000 },
335 { "qspi", make_unimp_dev, &mms->qspi, 0xa000, 0x1000 },
336 { "timer", make_unimp_dev, &mms->timer, 0xb000, 0x1000 },
337 { "scc", make_unimp_dev, &mms->scc, 0xc000, 0x1000 },
338 { "pwm1", make_unimp_dev, &mms->pwm[1], 0xe000, 0x1000 },
339 { "pwm2", make_unimp_dev, &mms->pwm[2], 0xf000, 0x1000 },
340 { "gpio", make_unimp_dev, &mms->gpio, 0x10000, 0x1000 },
341 { "mpc0", make_mpc, &mms->mpc[0], 0x12000, 0x1000 },
342 { "mpc1", make_mpc, &mms->mpc[1], 0x13000, 0x1000 },
343 };
344
345 memory_region_init(container, OBJECT(mms), "musca-device-container", size);
346
347 for (i = 0; i < ARRAY_SIZE(devices); i++) {
348 const PPCPortInfo *pinfo = &devices[i];
349 MemoryRegion *mr;
350
351 mr = pinfo->devfn(mms, pinfo->opaque, pinfo->name, pinfo->size);
352 memory_region_add_subregion(container, pinfo->addr, mr);
353 }
354
355 return &mms->container;
356}
357
358static void musca_init(MachineState *machine)
359{
360 MuscaMachineState *mms = MUSCA_MACHINE(machine);
361 MuscaMachineClass *mmc = MUSCA_MACHINE_GET_CLASS(mms);
362 MachineClass *mc = MACHINE_GET_CLASS(machine);
363 MemoryRegion *system_memory = get_system_memory();
364 DeviceState *ssedev;
365 DeviceState *dev_splitter;
366 const PPCInfo *ppcs;
367 int num_ppcs;
368 int i;
369
370 assert(mmc->num_irqs <= MUSCA_NUMIRQ_MAX);
371 assert(mmc->num_mpcs <= MUSCA_MPC_MAX);
372
373 if (strcmp(machine->cpu_type, mc->default_cpu_type) != 0) {
374 error_report("This board can only be used with CPU %s",
375 mc->default_cpu_type);
376 exit(1);
377 }
378
379 sysbus_init_child_obj(OBJECT(machine), "sse-200", &mms->sse,
380 sizeof(mms->sse), TYPE_SSE200);
381 ssedev = DEVICE(&mms->sse);
382 object_property_set_link(OBJECT(&mms->sse), OBJECT(system_memory),
383 "memory", &error_fatal);
384 qdev_prop_set_uint32(ssedev, "EXP_NUMIRQ", mmc->num_irqs);
385 qdev_prop_set_uint32(ssedev, "init-svtor", mmc->init_svtor);
386 qdev_prop_set_uint32(ssedev, "SRAM_ADDR_WIDTH", mmc->sram_addr_width);
387 qdev_prop_set_uint32(ssedev, "MAINCLK", SYSCLK_FRQ);
388
389
390
391
392 if (mmc->type == MUSCA_B1) {
393 qdev_prop_set_bit(ssedev, "CPU0_FPU", true);
394 qdev_prop_set_bit(ssedev, "CPU0_DSP", true);
395 }
396 object_property_set_bool(OBJECT(&mms->sse), true, "realized",
397 &error_fatal);
398
399
400
401
402
403 for (i = 0; i < mmc->num_irqs; i++) {
404 char *name = g_strdup_printf("musca-irq-splitter%d", i);
405 SplitIRQ *splitter = &mms->cpu_irq_splitter[i];
406
407 object_initialize_child(OBJECT(machine), name,
408 splitter, sizeof(*splitter),
409 TYPE_SPLIT_IRQ, &error_fatal, NULL);
410 g_free(name);
411
412 object_property_set_int(OBJECT(splitter), 2, "num-lines",
413 &error_fatal);
414 object_property_set_bool(OBJECT(splitter), true, "realized",
415 &error_fatal);
416 qdev_connect_gpio_out(DEVICE(splitter), 0,
417 qdev_get_gpio_in_named(ssedev, "EXP_IRQ", i));
418 qdev_connect_gpio_out(DEVICE(splitter), 1,
419 qdev_get_gpio_in_named(ssedev,
420 "EXP_CPU1_IRQ", i));
421 }
422
423
424
425
426
427 object_initialize_child(OBJECT(machine), "sec-resp-splitter",
428 &mms->sec_resp_splitter,
429 sizeof(mms->sec_resp_splitter),
430 TYPE_SPLIT_IRQ, &error_fatal, NULL);
431
432 object_property_set_int(OBJECT(&mms->sec_resp_splitter),
433 ARRAY_SIZE(mms->ppc), "num-lines", &error_fatal);
434 object_property_set_bool(OBJECT(&mms->sec_resp_splitter), true,
435 "realized", &error_fatal);
436 dev_splitter = DEVICE(&mms->sec_resp_splitter);
437 qdev_connect_gpio_out_named(ssedev, "sec_resp_cfg", 0,
438 qdev_get_gpio_in(dev_splitter, 0));
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455 const PPCInfo a_ppcs[] = { {
456 .name = "ahb_ppcexp0",
457 .ports = {
458 { "musca-devices", make_musca_a_devs, 0, 0x40100000, 0x100000 },
459 },
460 },
461 };
462
463
464
465
466
467
468 const PPCInfo b1_ppcs[] = { {
469 .name = "apb_ppcexp0",
470 .ports = {
471 { "eflash0", make_unimp_dev, &mms->eflash[0],
472 0x52400000, 0x1000 },
473 { "eflash1", make_unimp_dev, &mms->eflash[1],
474 0x52500000, 0x1000 },
475 { "qspi", make_unimp_dev, &mms->qspi, 0x42800000, 0x100000 },
476 { "mpc0", make_mpc, &mms->mpc[0], 0x52000000, 0x1000 },
477 { "mpc1", make_mpc, &mms->mpc[1], 0x52100000, 0x1000 },
478 { "mpc2", make_mpc, &mms->mpc[2], 0x52200000, 0x1000 },
479 { "mpc3", make_mpc, &mms->mpc[3], 0x52300000, 0x1000 },
480 { "mhu0", make_unimp_dev, &mms->mhu[0], 0x42600000, 0x100000 },
481 { "mhu1", make_unimp_dev, &mms->mhu[1], 0x42700000, 0x100000 },
482 { },
483 { },
484 { },
485 { },
486 { },
487 { "mpc4", make_mpc, &mms->mpc[4], 0x52e00000, 0x1000 },
488 },
489 }, {
490 .name = "apb_ppcexp1",
491 .ports = {
492 { "pwm0", make_unimp_dev, &mms->pwm[0], 0x40101000, 0x1000 },
493 { "pwm1", make_unimp_dev, &mms->pwm[1], 0x40102000, 0x1000 },
494 { "pwm2", make_unimp_dev, &mms->pwm[2], 0x40103000, 0x1000 },
495 { "i2s", make_unimp_dev, &mms->i2s, 0x40104000, 0x1000 },
496 { "uart0", make_uart, &mms->uart[0], 0x40105000, 0x1000 },
497 { "uart1", make_uart, &mms->uart[1], 0x40106000, 0x1000 },
498 { "i2c0", make_unimp_dev, &mms->i2c[0], 0x40108000, 0x1000 },
499 { "i2c1", make_unimp_dev, &mms->i2c[1], 0x40109000, 0x1000 },
500 { "spi", make_unimp_dev, &mms->spi, 0x4010a000, 0x1000 },
501 { "scc", make_unimp_dev, &mms->scc, 0x5010b000, 0x1000 },
502 { "timer", make_unimp_dev, &mms->timer, 0x4010c000, 0x1000 },
503 { "rtc", make_rtc, &mms->rtc, 0x4010d000, 0x1000 },
504 { "pvt", make_unimp_dev, &mms->pvt, 0x4010e000, 0x1000 },
505 { "sdio", make_unimp_dev, &mms->sdio, 0x4010f000, 0x1000 },
506 },
507 }, {
508 .name = "ahb_ppcexp0",
509 .ports = {
510 { },
511 { "gpio", make_unimp_dev, &mms->gpio, 0x41000000, 0x1000 },
512 },
513 },
514 };
515
516 switch (mmc->type) {
517 case MUSCA_A:
518 ppcs = a_ppcs;
519 num_ppcs = ARRAY_SIZE(a_ppcs);
520 break;
521 case MUSCA_B1:
522 ppcs = b1_ppcs;
523 num_ppcs = ARRAY_SIZE(b1_ppcs);
524 break;
525 default:
526 g_assert_not_reached();
527 }
528 assert(num_ppcs <= MUSCA_PPC_MAX);
529
530 for (i = 0; i < num_ppcs; i++) {
531 const PPCInfo *ppcinfo = &ppcs[i];
532 TZPPC *ppc = &mms->ppc[i];
533 DeviceState *ppcdev;
534 int port;
535 char *gpioname;
536
537 sysbus_init_child_obj(OBJECT(machine), ppcinfo->name, ppc,
538 sizeof(TZPPC), TYPE_TZ_PPC);
539 ppcdev = DEVICE(ppc);
540
541 for (port = 0; port < TZ_NUM_PORTS; port++) {
542 const PPCPortInfo *pinfo = &ppcinfo->ports[port];
543 MemoryRegion *mr;
544 char *portname;
545
546 if (!pinfo->devfn) {
547 continue;
548 }
549
550 mr = pinfo->devfn(mms, pinfo->opaque, pinfo->name, pinfo->size);
551 portname = g_strdup_printf("port[%d]", port);
552 object_property_set_link(OBJECT(ppc), OBJECT(mr),
553 portname, &error_fatal);
554 g_free(portname);
555 }
556
557 object_property_set_bool(OBJECT(ppc), true, "realized", &error_fatal);
558
559 for (port = 0; port < TZ_NUM_PORTS; port++) {
560 const PPCPortInfo *pinfo = &ppcinfo->ports[port];
561
562 if (!pinfo->devfn) {
563 continue;
564 }
565 sysbus_mmio_map(SYS_BUS_DEVICE(ppc), port, pinfo->addr);
566
567 gpioname = g_strdup_printf("%s_nonsec", ppcinfo->name);
568 qdev_connect_gpio_out_named(ssedev, gpioname, port,
569 qdev_get_gpio_in_named(ppcdev,
570 "cfg_nonsec",
571 port));
572 g_free(gpioname);
573 gpioname = g_strdup_printf("%s_ap", ppcinfo->name);
574 qdev_connect_gpio_out_named(ssedev, gpioname, port,
575 qdev_get_gpio_in_named(ppcdev,
576 "cfg_ap", port));
577 g_free(gpioname);
578 }
579
580 gpioname = g_strdup_printf("%s_irq_enable", ppcinfo->name);
581 qdev_connect_gpio_out_named(ssedev, gpioname, 0,
582 qdev_get_gpio_in_named(ppcdev,
583 "irq_enable", 0));
584 g_free(gpioname);
585 gpioname = g_strdup_printf("%s_irq_clear", ppcinfo->name);
586 qdev_connect_gpio_out_named(ssedev, gpioname, 0,
587 qdev_get_gpio_in_named(ppcdev,
588 "irq_clear", 0));
589 g_free(gpioname);
590 gpioname = g_strdup_printf("%s_irq_status", ppcinfo->name);
591 qdev_connect_gpio_out_named(ppcdev, "irq", 0,
592 qdev_get_gpio_in_named(ssedev,
593 gpioname, 0));
594 g_free(gpioname);
595
596 qdev_connect_gpio_out(dev_splitter, i,
597 qdev_get_gpio_in_named(ppcdev,
598 "cfg_sec_resp", 0));
599 }
600
601 armv7m_load_kernel(ARM_CPU(first_cpu), machine->kernel_filename, 0x2000000);
602}
603
604static void musca_class_init(ObjectClass *oc, void *data)
605{
606 MachineClass *mc = MACHINE_CLASS(oc);
607
608 mc->default_cpus = 2;
609 mc->min_cpus = mc->default_cpus;
610 mc->max_cpus = mc->default_cpus;
611 mc->default_cpu_type = ARM_CPU_TYPE_NAME("cortex-m33");
612 mc->init = musca_init;
613}
614
615static void musca_a_class_init(ObjectClass *oc, void *data)
616{
617 MachineClass *mc = MACHINE_CLASS(oc);
618 MuscaMachineClass *mmc = MUSCA_MACHINE_CLASS(oc);
619
620 mc->desc = "ARM Musca-A board (dual Cortex-M33)";
621 mmc->type = MUSCA_A;
622 mmc->init_svtor = 0x10200000;
623 mmc->sram_addr_width = 15;
624 mmc->num_irqs = 64;
625 mmc->mpc_info = a_mpc_info;
626 mmc->num_mpcs = ARRAY_SIZE(a_mpc_info);
627}
628
629static void musca_b1_class_init(ObjectClass *oc, void *data)
630{
631 MachineClass *mc = MACHINE_CLASS(oc);
632 MuscaMachineClass *mmc = MUSCA_MACHINE_CLASS(oc);
633
634 mc->desc = "ARM Musca-B1 board (dual Cortex-M33)";
635 mmc->type = MUSCA_B1;
636
637
638
639
640
641
642
643 mmc->init_svtor = 0x10000000;
644 mmc->sram_addr_width = 17;
645 mmc->num_irqs = 96;
646 mmc->mpc_info = b1_mpc_info;
647 mmc->num_mpcs = ARRAY_SIZE(b1_mpc_info);
648}
649
650static const TypeInfo musca_info = {
651 .name = TYPE_MUSCA_MACHINE,
652 .parent = TYPE_MACHINE,
653 .abstract = true,
654 .instance_size = sizeof(MuscaMachineState),
655 .class_size = sizeof(MuscaMachineClass),
656 .class_init = musca_class_init,
657};
658
659static const TypeInfo musca_a_info = {
660 .name = TYPE_MUSCA_A_MACHINE,
661 .parent = TYPE_MUSCA_MACHINE,
662 .class_init = musca_a_class_init,
663};
664
665static const TypeInfo musca_b1_info = {
666 .name = TYPE_MUSCA_B1_MACHINE,
667 .parent = TYPE_MUSCA_MACHINE,
668 .class_init = musca_b1_class_init,
669};
670
671static void musca_machine_init(void)
672{
673 type_register_static(&musca_info);
674 type_register_static(&musca_a_info);
675 type_register_static(&musca_b1_info);
676}
677
678type_init(musca_machine_init);
679