1uart0: UART.PL011 @ sysbus 0x10009000
2    -> gic@5
3
4uart1: UART.PL011 @ sysbus 0x1000A000
5    -> gic@6
6
7uart2: UART.PL011 @ sysbus 0x1000B000
8    -> gic@7
9
10uart3: UART.PL011 @ sysbus 0x1000C000
11    -> gic@8
12
13memory: Memory.MappedMemory @ {
14        sysbus 0x80000000;
15        sysbus 0xA0000000
16    }
17    size: 0x20000000
18
19sram: Memory.MappedMemory @ sysbus 0x48000000
20    size: 0x02000000
21
22timer1: Timers.ARM_SP804_Timer @ sysbus 0x10011000
23    -> gic@2
24
25timer2: Timers.ARM_SP804_Timer @ sysbus 0x10012000
26    -> gic@3
27
28sysCtl: Miscellaneous.ArmSysCtl @ sysbus <0x10000000, +0x1000>
29    procId: 0x0C000191
30
31pl310: Cache.PL310 @ sysbus <0x1E00A000, +0x10000>
32
33pl031: Timers.PL031 @ sysbus 0x10017000
34    -> gic@4
35
36usbEhci: USBDeprecated.ISP1761 @ sysbus <0x4F000000, +0xFFFF>
37    -> gic@16
38
39kmi0: Input.PL050 @ sysbus <0x10006000, +0x1000>
40    -> gic@12
41
42kmi1: Input.PL050 @ sysbus <0x10007000, +0x1000>
43    -> gic@13
44
45gic: IRQControllers.ARM_GenericInterruptController @ {
46        sysbus new Bus.BusMultiRegistration { address: 0x1E001000; size: 0x1000; region: "distributor"};
47        sysbus new Bus.BusMultiRegistration { address: 0x1E000100; size: 0x100; region: "cpuInterface"}
48    }
49    0 -> cpu@0
50    supportsTwoSecurityStates: false
51    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv1
52
53cpu: CPU.ARMv7A @ sysbus
54    cpuType: "cortex-a9"
55    genericInterruptController: gic
56
57sysbus:
58    init:
59        Tag <0x1C0A0000,0x1C0A0FFF> "UART1"
60        Tag <0x1C0B0000,0x1C0B0FFF> "UART2"
61        Tag <0x1C0C0000,0x1C0C0FFF> "UART3"
62        Tag <0x40000000,0x43FFFFFF> "flash0"
63        Tag <0x44000000,0x47FFFFFF> "flash1"
64        Tag <0x1E000000,0x1E000FFF> "SCU_BASE"
65        Tag <0x10001000,0x10002FFF> "SP810_sysctl"
66        Tag <0x10004000,0x10004FFF> "PL041_audio"
67
68