kata: Step 3: adjust simulator to use new build paths

Change-Id: Ie49315524a2d0e94ae49003f0cf9235b8f1f8928

platforms/smc.repl

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

shodan.resc

diff --git a/shodan.resc b/shodan.resc
index 3e62632..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/kata/riscv32-unknown-elf/release/ext_builtins.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