Merge "sim/config: sync DMA peripheral registers to ISP"
diff --git a/platforms/smc.repl b/platforms/smc.repl
index 10a03f2..f7b0e1c 100644
--- a/platforms/smc.repl
+++ b/platforms/smc.repl
@@ -57,12 +57,12 @@
RxTimeoutIRQ -> smc_plic@7
RxParityErrorIRQ -> smc_plic@8
-// RV_TIMER_SMC, timer for Kata kernel.
+// RV_TIMER_SMC, timer for Cantrip kernel.
timer_smc: Timers.OpenTitan_Timer@ sysbus 0x50010000
frequency: 24000000
IRQ -> cpu1@5
-// Timer for Kata software timer service.
+// Timer for Cantrip software timer service.
timer_smc_sw: Timers.OpenTitan_Timer@ sysbus 0x50030000
frequency: 24000000
IRQ -> smc_plic@31
diff --git a/shodan.resc b/shodan.resc
index 4c49ea7..f0136bc 100644
--- a/shodan.resc
+++ b/shodan.resc
@@ -43,8 +43,8 @@
# Load the tarball of CAmkES components, cpio bundle of built-in files, and the seL4 kernel
$tar ?= @out/ext_flash_release.tar
-$cpio ?= @out/ext_builtins_release.cpio
-$kernel ?= @out/kata/riscv32-unknown-elf/release/kernel/kernel.elf
+$cpio ?= @out/cantrip/riscv32-unknown-elf/release/ext_builtins.cpio
+$kernel ?= @out/cantrip/riscv32-unknown-elf/release/kernel/kernel.elf
sysbus LoadBinary $tar 0x44000000
sysbus LoadBinary $cpio 0x46000000
sysbus LoadSymbolsFrom $kernel
