sencha: use $cheriot_elf to name any loaded firmware image
Bypass-Presubmit-Reason: no sencha CI tests
Change-Id: I8e82d894871a148c95059691681565c9dac340ff
diff --git a/cheriot.resc b/cheriot.resc
index 1dce9fd..f5e5018 100644
--- a/cheriot.resc
+++ b/cheriot.resc
@@ -45,11 +45,11 @@
logLevel 0 sysbus.cpu1
-$bin?=@out/cheriot/sencha/release/cheriot/cheriot/release/test-suite
+$cheriot_elf?=@out/cheriot/sencha/release/cheriot/cheriot/release/test-suite
# Load the ELF file (useVirtualAddress = false, allowLoadsOnlyToMemory = false)
-sysbus LoadELF $bin false false
+sysbus LoadELF $cheriot_elf false false
-sysbus.cpu1 SymbolFile $bin
+sysbus.cpu1 SymbolFile $cheriot_elf
sysbus.cpu1 IsHalted false
diff --git a/sencha.resc b/sencha.resc
index 2a00994..68d5423 100644
--- a/sencha.resc
+++ b/sencha.resc
@@ -73,7 +73,7 @@
$eflash_address ?= 0x20000000
sysbus LoadBinary $tar $spi_flash_load_address
sysbus LoadBinary $sc_bin $eflash_address
-#sysbus LoadSymbolsFrom $kernel
+#sysbus LoadSymbolsFrom $cheriot_elf
# If we have a I2S peripheral, setup an audio file that we can use
# for sampling data. Note that the format for these files is raw
