diff --git a/platforms/nexus_smc.repl b/platforms/nexus_smc.repl
index 3e26cb1..16f3843 100644
--- a/platforms/nexus_smc.repl
+++ b/platforms/nexus_smc.repl
@@ -15,6 +15,8 @@
     cpu: cpu1
 
 smc_plic:
+    0 -> cpu1@9
+    1 -> cpu1@11
     numberOfSources: 43
 
 uart5: @ sysbus 0x54000000
@@ -22,6 +24,7 @@
 // RV_TIMER_SMC, timer for Cantrip kernel.
 timer_smc: @ sysbus 0x54010000
     frequency: 2500000
+    IRQ -> smc_plic@9
 
 // Timer for Cantrip software timer service.
 timer_smc_sw: @ sysbus 0x54011000