nexus sim config: Swap PLIC SEIP and MEIP bits
Apparently when we moved the timer's IRQ, we also changed which bits it
manipulated in the MIP register. Swap the two bits and assign the
correct IRQ to smc_timer.
Change-Id: Ic2991273f16c899d9b25e2853ac315544c0fb21f
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
