Files

100 lines
3.0 KiB
Plaintext
Raw Permalink Normal View History

memory: Memory.MappedMemory @ sysbus 0x80000000
size: 0x80000000
ddr1: Memory.MappedMemory @ sysbus 0x1080000
size: 0x1000
ddr2: Memory.MappedMemory @ sysbus 0x1090000
size: 0x1000
reserved: Memory.MappedMemory @ sysbus 0x16000000
size: 0x8000000
timer: Timers.ARM_GenericTimer @ cpu0
frequency: 100000000
EL3PhysicalTimerIRQ->gic#0@29
EL1PhysicalTimerIRQ->gic#0@30
EL1VirtualTimerIRQ->gic#0@27
NonSecureEL2PhysicalTimerIRQ->gic#0@26
uart0: UART.PL011 @ sysbus 0x21c0000
->gic@32
uart1: UART.PL011 @ sysbus 0x21d0000
->gic@33
gic: IRQControllers.ARM_GenericInterruptController @ {
sysbus new Bus.BusMultiRegistration { address: 0x6000000; size: 0x010000; region: "distributor" };
sysbus new IRQControllers.ArmGicRedistributorRegistration { attachedCPU: cpu0; address: 0x6200000 }
}
architectureVersion: .GICv3
supportsTwoSecurityStates: true
// GIC -> ARM CPU interrupt connections are generated automatically
i2c0: I2C.VybridI2C @ sysbus 0x2000000
->gic@34
cpu0: CPU.ARMv8A @ sysbus
cpuType: "cortex-a53"
cpuId: 0
genericInterruptController: gic
ccn508: Python.PythonPeripheral @ {
sysbus 0x4200018;
sysbus 0x4210018;
sysbus 0x4220018;
sysbus 0x4230018;
sysbus 0x4240018;
sysbus 0x4250018;
sysbus 0x4260018;
sysbus 0x4270018
}
size: 0x4
initable: true
script: '''
if request.IsInit:
lastVal = 0
else:
lastVal = 1 - lastVal
if lastVal == 0:
request.Value = 0x4
else:
request.Value = 0xC
'''
sysbus:
init:
Tag <0x1E00740 0x4> "TP_ITYP0" 0x0
Tag <0x1E0074C 0x4> "TP_ITYP1" 0x1
Tag <0x1E00100 0x4> "RCWSR1" 0x0
Tag <0x1300080 0x4> "PLLC1GSR" 0x08000402
Tag <0x13000A0 0x4> "PLLC2GSR" 0x08000402
Tag <0x13000C0 0x4> "PLLC3GSR" 0x08000402
Tag <0x1310080 0x4> "PLLC1GSR2" 0x08000402
Tag <0x13100A0 0x4> "PLLC2GSR2" 0x08000402
Tag <0x1370000 0x4> "CLKC1CSR" 0x0
Tag <0x1370020 0x4> "CLKC2CSR" 0x0
Tag <0x1370040 0x4> "CLKC3CSR" 0x0
Tag <0x1370060 0x4> "CLKC4CSR" 0x0
Tag <0x1370080 0x4> "CLKC5CSR" 0x0
Tag <0x13700A0 0x4> "CLKC6CSR" 0x0
Tag <0x13700C0 0x4> "CLKC7CSR" 0x0
Tag <0x13700E0 0x4> "CLKC8CSR" 0x0
Tag <0x1E00844 0x4> "TP_CLUSTER1L" 0x0303
Tag <0x1E0084C 0x4> "TP_CLUSTER2L" 0x0303
Tag <0x1E00854 0x4> "TP_CLUSTER3L" 0x0303
Tag <0x1E0085C 0x4> "TP_CLUSTER4L" 0x0303
Tag <0x1E00864 0x4> "TP_CLUSTER5L" 0x0303
Tag <0x1E0086C 0x4> "TP_CLUSTER6L" 0x0303
Tag <0x1E00874 0x4> "TP_CLUSTER7L" 0x0303
Tag <0x1E0087C 0x4> "TP_CLUSTER8L" 0x80000303
Tag <0x2000000 0x1> "I2C1_IBAD" 0x0
Tag <0x2000001 0x1> "I2C1_IBFD" 0x0
Tag <0x2000002 0x1> "I2C1_IBCR" 0x80
Tag <0x2000003 0x1> "I2C1_IBSR" 0x80
Tag <0x2000004 0x1> "I2C1_IBDR" 0x00
Tag <0x2000005 0x1> "I2C1_IBIC" 0x00
Tag <0x2000006 0x1> "I2C1_IBDBG" 0x00
Tag <0x2200804 0x4> "TZDECPROT0_Set" 0x8