1internal_sram: Memory.MappedMemory @ {
2        sysbus 0x0;
3        sysbus 0x40000000
4    }
5    size: 0x10000
6
7memory: Memory.MappedMemory @ sysbus 0x81000000
8    size: 0x2000000
9
10can1: CAN.LPC_CAN @ sysbus <0xE0044000, +0x1000>
11    [TxIRQ, RxIRQ] -> vic@[20,26]
12
13can2: CAN.LPC_CAN @ sysbus <0xE0048000, +0x1000>
14    [TxIRQ, RxIRQ] -> vic@[21,27]
15
16can3: CAN.LPC_CAN @ sysbus <0xE004C000, +0x1000>
17    [TxIRQ, RxIRQ] -> vic@[22,28]
18
19can4: CAN.LPC_CAN @ sysbus <0xE0050000, +0x1000>
20    [TxIRQ, RxIRQ] -> vic@[23,29]
21
22cpu: CPU.ARMv7A @ sysbus
23    cpuType: "arm7tdmi"
24
25vic: IRQControllers.PL190_VIC @ sysbus 0xFFFFF000
26    [IRQ, FIQ] -> cpu@[0, 1]
27
28uart0: UART.NS16550 @ sysbus <0xE000C000, +0x1000>
29    wideRegisters: true
30    -> vic@6
31
32uart1: UART.NS16550 @ sysbus <0xE0010000, +0x1000>
33    wideRegisters: true
34    -> vic@7
35
36timer0: Timers.LPC_CTimer @ sysbus 0xE0004000
37    frequency: 10000000
38    -> vic@4
39
40sysbus:
41    init:
42        Tag <0xE0000000 0x10> "WD"
43        Tag <0xE0004000 0x40> "TIMER0"
44        Tag <0xE001C000 0x4> "I2CONSET"
45        Tag <0xE001C010 0x4> "I2SCLH"
46        Tag <0xE001C014 0x4> "I2SCLL"
47        Tag <0xE001C018 0x4> "I2CONCLR"
48        Tag <0xE0024000 0x100> "RTC"
49        Tag <0xE0028000 0x4> "IO0PIN"
50        Tag <0xE0028004 0x4> "IO0SET"
51        Tag <0xE0028008 0x4> "GPIO_IODIR"
52        Tag <0xE002800C 0x4> "IO0CLR"
53        Tag <0xE0028010 0x4> "IOPIN1"
54        Tag <0xE0028018 0x4> "IODIR1"
55        Tag <0xE002801C 0x4> "IOCLR1"
56        Tag <0xE002C000 0x18> "PINSEL"
57        Tag <0xE0034000 0x4> "ADCR"
58        Tag <0xE0034004 0x4> "ADDR" 0x80000000
59        Tag <0xE003C000 0x4> "CAN_AFMR"
60        Tag <0xE003C018 0x4> "LUTerrAd"
61        Tag <0xE01FC040 0x4> "MEMMAP"
62        Tag <0xE01FC080 0x4> "PLL_PLLCON"
63        Tag <0xE01FC088 0x4> "PLLSTAT" 0xFFFFFFFF
64        Tag <0xE01FC140 0x4> "EXTINT"
65        Tag <0xE01FC144 0x4> "EXTWAKE"
66        Tag <0xE01FC148 0x4> "EXTMODE"
67        Tag <0xE01FC14C 0x4> "EXTPOLAR"
68        Tag <0xFFE00000 0x10> "BCFG"
69