Add second timer for Kata sw use.

Change-Id: I9b710906487f9b7882ffb44dfd520781be423fb7

platforms/smc.repl

diff --git a/platforms/smc.repl b/platforms/smc.repl
index 757ac95..a848c3d 100644
--- a/platforms/smc.repl
+++ b/platforms/smc.repl
@@ -43,7 +43,7 @@
     // Bit 11 corresponds MEIP and bit 9 to SEIP.
     0 -> cpu1@11
     1 -> cpu1@9
-    numberOfSources: 14
+    numberOfSources: 15
     numberOfContexts: 2  // MEIP and SEIP
 
 uart5: UART.OpenTitan_UART @ sysbus 0x50000000
@@ -56,12 +56,18 @@
     RxTimeoutIRQ -> smc_plic@7
     RxParityErrorIRQ -> smc_plic@8
 
-// RV_TIMER_SMC
+// RV_TIMER_SMC, timer for Kata kernel.
 timer_smc: Timers.OpenTitan_Timer@ sysbus 0x50010000
     frequency: 24000000
     -> cpu1@5
 
+// Timer for Kata software timer service.
+timer_smc_sw: Timers.OpenTitan_Timer@ sysbus 0x50030000
+    frequency: 24000000
+    -> smc_plic@15
+
 // Tag memory for debugging
 sysbus:
     init:
         Tag <0x50010000 0x1000> "OPENTITAN_EARLGREY_DEV_RV_TIMER_SMC"
+        Tag <0x50030000 0x1000> "OPENTITAN_EARLGREY_DEV_RV_TIMER_SMC_SW"