build:sel4test: debug renode simulations requires shodan-debug.repl

Change-Id: Ifa115a6845c7449447568759d249039df6dcb5e8

platforms/nexus/sim_sel4test.mk

diff --git a/platforms/nexus/sim_sel4test.mk b/platforms/nexus/sim_sel4test.mk
index 41de29b..3cb350f 100644
--- a/platforms/nexus/sim_sel4test.mk
+++ b/platforms/nexus/sim_sel4test.mk
@@ -26,10 +26,10 @@
 	ln -sf $(SEL4TEST_ROOTSERVER_DEBUG) $(OUT)/tmp/capdl-loader
 	tar -C $(OUT)/tmp -cvhf $@ matcha-tock-bundle.bin kernel capdl-loader
 
-## Debug version of the `sel4test` target that stops very early to wait
-## for a debugger to be attached.
+## Launches the sel4test target with minimal modifications.
 sel4test: renode multihart_boot_rom $(SEL4TEST_OUT_DEBUG)/ext_flash.tar
 	$(RENODE_CMD) -e "\
+    \$$repl_file = @sim/config/platforms/shodan-debug.repl; \
     \$$tar = @$(SEL4TEST_OUT_DEBUG)/ext_flash.tar; \
     \$$kernel = @$(SEL4TEST_KERNEL_DEBUG); \
     \$$cpio = @/dev/null; \
@@ -53,6 +53,7 @@
 sel4test+wrapper: renode multihart_boot_rom \
 		$(SEL4TEST_WRAPPER_OUT_DEBUG)/ext_flash.tar
 	$(RENODE_CMD) -e "\
+    \$$repl_file = @sim/config/platforms/shodan-debug.repl; \
     \$$tar = @$(SEL4TEST_WRAPPER_OUT_DEBUG)/ext_flash.tar; \
     \$$kernel = @$(SEL4TEST_KERNEL_DEBUG); \
     \$$cpio = @/dev/null; \

platforms/shodan/sim_sel4test.mk

diff --git a/platforms/shodan/sim_sel4test.mk b/platforms/shodan/sim_sel4test.mk
index 655320d..061234f 100644
--- a/platforms/shodan/sim_sel4test.mk
+++ b/platforms/shodan/sim_sel4test.mk
@@ -26,10 +26,10 @@
 	ln -sf $(SEL4TEST_ROOTSERVER_DEBUG) $(OUT)/tmp/capdl-loader
 	tar -C $(OUT)/tmp -cvhf $@ matcha-tock-bundle.bin kernel capdl-loader
 
-## Debug version of the `sel4test` target that stops very early to wait
-## for a debugger to be attached.
+## Launches the sel4test target with minimal modifications.
 sel4test: renode multihart_boot_rom $(SEL4TEST_OUT_DEBUG)/ext_flash.tar
 	$(RENODE_CMD) -e "\
+    \$$repl_file = @sim/config/platforms/shodan-debug.repl; \
     \$$tar = @$(SEL4TEST_OUT_DEBUG)/ext_flash.tar; \
     \$$kernel = @$(SEL4TEST_KERNEL_DEBUG); \
     \$$cpio = @/dev/null; \
@@ -53,6 +53,7 @@
 sel4test+wrapper: renode multihart_boot_rom \
 		$(SEL4TEST_WRAPPER_OUT_DEBUG)/ext_flash.tar
 	$(RENODE_CMD) -e "\
+    \$$repl_file = @sim/config/platforms/shodan-debug.repl; \
     \$$tar = @$(SEL4TEST_WRAPPER_OUT_DEBUG)/ext_flash.tar; \
     \$$kernel = @$(SEL4TEST_KERNEL_DEBUG); \
     \$$cpio = @/dev/null; \