nexus: Fix timer base address Change-Id: Ife7b26c3cce6c34b7fe71ee555ef959b2cb030be
diff --git a/platforms/nexus_smc.repl b/platforms/nexus_smc.repl index 3a59e96..23ba3c4 100644 --- a/platforms/nexus_smc.repl +++ b/platforms/nexus_smc.repl
@@ -21,6 +21,6 @@ frequency: 2500000 // Timer for Cantrip software timer service. -timer_smc_sw: @ sysbus 0x54030000 +timer_smc_sw: @ sysbus 0x54011000 frequency: 2500000