1memory: Memory.MappedMemory @ sysbus 0x80000000
2    size: 0x80000000
3
4ddr1: Memory.MappedMemory @ sysbus 0x1080000
5    size: 0x1000
6
7ddr2: Memory.MappedMemory @ sysbus 0x1090000
8    size: 0x1000
9
10reserved: Memory.MappedMemory @ sysbus 0x16000000
11    size: 0x8000000
12
13timer: Timers.ARM_GenericTimer @ cpu0
14    frequency: 100000000
15    EL3PhysicalTimerIRQ->gic#0@29
16    EL1PhysicalTimerIRQ->gic#0@30
17    EL1VirtualTimerIRQ->gic#0@27
18    NonSecureEL2PhysicalTimerIRQ->gic#0@26
19
20uart0: UART.PL011 @ sysbus 0x21c0000
21    ->gic@32
22
23uart1: UART.PL011 @ sysbus 0x21d0000
24    ->gic@33
25
26gic: IRQControllers.ARM_GenericInterruptController @ {
27        sysbus new Bus.BusMultiRegistration { address: 0x6000000; size: 0x010000; region: "distributor" };
28        sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu0; address: 0x6200000 }
29    }
30    [0-3] -> cpu0@[0-3]
31    architectureVersion: IRQControllers.ARM_GenericInterruptControllerVersion.GICv3
32    supportsTwoSecurityStates: true
33
34i2c0: I2C.VybridI2C @ sysbus 0x2000000
35    ->gic@34
36
37cpu0: CPU.ARMv8A @ sysbus
38    cpuType: "cortex-a53"
39    cpuId: 0
40    genericInterruptController: gic
41
42ccn508: Python.PythonPeripheral @ {
43    sysbus 0x4200018;
44    sysbus 0x4210018;
45    sysbus 0x4220018;
46    sysbus 0x4230018;
47    sysbus 0x4240018;
48    sysbus 0x4250018;
49    sysbus 0x4260018;
50    sysbus 0x4270018
51}
52    size: 0x4
53    initable: true
54    script: '''
55if request.isInit:
56    lastVal = 0
57else:
58    lastVal = 1 - lastVal
59if lastVal == 0:
60    request.value = 0x4
61else:
62    request.value = 0xC
63'''
64
65sysbus:
66    init:
67        Tag <0x1E00740 0x4> "TP_ITYP0" 0x0
68        Tag <0x1E0074C 0x4> "TP_ITYP1" 0x1
69        Tag <0x1E00100 0x4> "RCWSR1" 0x0
70        Tag <0x1300080 0x4> "PLLC1GSR" 0x08000402
71        Tag <0x13000A0 0x4> "PLLC2GSR" 0x08000402
72        Tag <0x13000C0 0x4> "PLLC3GSR" 0x08000402
73        Tag <0x1310080 0x4> "PLLC1GSR2" 0x08000402
74        Tag <0x13100A0 0x4> "PLLC2GSR2" 0x08000402
75        Tag <0x1370000 0x4> "CLKC1CSR" 0x0
76        Tag <0x1370020 0x4> "CLKC2CSR" 0x0
77        Tag <0x1370040 0x4> "CLKC3CSR" 0x0
78        Tag <0x1370060 0x4> "CLKC4CSR" 0x0
79        Tag <0x1370080 0x4> "CLKC5CSR" 0x0
80        Tag <0x13700A0 0x4> "CLKC6CSR" 0x0
81        Tag <0x13700C0 0x4> "CLKC7CSR" 0x0
82        Tag <0x13700E0 0x4> "CLKC8CSR" 0x0
83        Tag <0x1E00844 0x4> "TP_CLUSTER1L" 0x0303
84        Tag <0x1E0084C 0x4> "TP_CLUSTER2L" 0x0303
85        Tag <0x1E00854 0x4> "TP_CLUSTER3L" 0x0303
86        Tag <0x1E0085C 0x4> "TP_CLUSTER4L" 0x0303
87        Tag <0x1E00864 0x4> "TP_CLUSTER5L" 0x0303
88        Tag <0x1E0086C 0x4> "TP_CLUSTER6L" 0x0303
89        Tag <0x1E00874 0x4> "TP_CLUSTER7L" 0x0303
90        Tag <0x1E0087C 0x4> "TP_CLUSTER8L" 0x80000303
91        Tag <0x2000000 0x1> "I2C1_IBAD" 0x0
92        Tag <0x2000001 0x1> "I2C1_IBFD" 0x0
93        Tag <0x2000002 0x1> "I2C1_IBCR" 0x80
94        Tag <0x2000003 0x1> "I2C1_IBSR" 0x80
95        Tag <0x2000004 0x1> "I2C1_IBDR" 0x00
96        Tag <0x2000005 0x1> "I2C1_IBIC" 0x00
97        Tag <0x2000006 0x1> "I2C1_IBDBG" 0x00
98        Tag <0x2200804 0x4> "TZDECPROT0_Set" 0x8
99
100