0x1c170000-0x1c17ffff: RTC
0x20000000-0x3fffffff: On-chip peripherals:
+ 0x2a490000-0x2a49ffff: Trusted Watchdog (SP805)
0x2b000000-0x2b00ffff: HDLCD
0x2b060000-0x2b060fff: System Watchdog (SP805)
46 : Reserved (CLCD)
47 : Reserved (Ethernet)
48 : Reserved (USB)
+ 56 : Trusted Watchdog (SP805)
95-255: On-chip interrupt sources (we use these for
gem5-specific devices, SPIs)
74 : VirtIO (gem5/FM extension)
dcc = CoreTile2A15DCC()
### On-chip devices ###
+
+ # Trusted Watchdog, SP805
+ trusted_watchdog = Sp805(pio_addr=0x2a490000, int_num=56)
+
generic_timer = GenericTimer(int_phys_s=ArmPPI(num=29),
int_phys_ns=ArmPPI(num=30),
int_virt=ArmPPI(num=27),
def _on_chip_devices(self):
return [
self.generic_timer,
+ self.trusted_watchdog,
self.system_watchdog
]