Use HW boot rom in renode simulation

Need to preload the secure core binary to the eflash to avoid the
bootstrapping step (the same mechanism as in verilator sim)

Change-Id: I04516c5d7576d38d453d21f9ad1139720ce4d712

shodan.resc

diff --git a/shodan.resc b/shodan.resc
index f03a68c..1c9a0c7 100644
--- a/shodan.resc
+++ b/shodan.resc
@@ -41,17 +41,21 @@
 uart0-analyzer TimestampFormat None
 uart5-analyzer TimestampFormat None
 
-# Load the bootrom into the 32k rom at 0x8000 (useVirtualAddress = false, allowLoadsOnlyToMemory = true)
-sysbus LoadELF @out/shodan_boot_rom/multihart_boot_rom.elf false true cpu0
+# Load the boot rom into the 32k rom at 0x8000 (useVirtualAddress = false, allowLoadsOnlyToMemory = true)
+sysbus LoadELF @out/matcha/hw/boot_rom.elf false true cpu0
 
-# Load the tarball of CAmkES components, cpio bundle of built-in files, and the seL4 kernel
+# Load the tarball of CAmkES components, cpio bundle of built-in files,
+# the seL4 kernel, and preload the secure core binary.
 $tar ?= @out/cantrip/shodan/release/ext_flash.tar
 $tar_load_address ?= 0x44000000
 $cpio ?= @out/cantrip/shodan/release/ext_builtins.cpio
 $cpio_load_address ?= 0x46000000
 $kernel ?= @out/cantrip/shodan/release/kernel/kernel.elf
+$eflash_address ?= 0x20000000
+$sc_bin ?= @out/cantrip/shodan/release/tmp/matcha-tock-bundle.bin
 sysbus LoadBinary $tar $tar_load_address
 sysbus LoadBinary $cpio $cpio_load_address
+sysbus LoadBinary $sc_bin $eflash_address
 sysbus LoadSymbolsFrom $kernel
 
 # Start cpu0 at the bootrom reset vector, which is stored immediately after the