sencha: pass $kernel to enable loading symbols
Bypass-Presubmit-Reason: no sencha CI tests
Change-Id: I0da046cba70311815171dd1f29db46d6980022d4
diff --git a/platforms/sencha/sim.mk b/platforms/sencha/sim.mk
index 2347e76..018e442 100644
--- a/platforms/sencha/sim.mk
+++ b/platforms/sencha/sim.mk
@@ -81,6 +81,7 @@
\$$repl_file = @${SENCHA_REPL}; \
\$$tar = @$(EXT_FLASH_RELEASE); \
\$$sc_bin =@$(TMP_RELEASE)/matcha-tock-bundle.bin; \
+ \$$kernel = @$(TMP_RELEASE)/kernel; \
$(PORT_PRESTART_CMDS) i @${SENCHA_RESC_RELEASE}; \
$(RENODE_PRESTART_CMDS) start"
@@ -92,6 +93,7 @@
\$$repl_file = @${SENCHA_REPL}; \
\$$tar = @$(EXT_FLASH_RELEASE); \
\$$sc_bin =@$(TMP_RELEASE)/matcha-tock-bundle.bin; \
+ \$$kernel = @$(TMP_RELEASE)/kernel; \
\$$cli_port = 4567; \
\$$wait_for_cli = true; \
$(PORT_PRESTART_CMDS) i @${SENCHA_RESC_RELEASE}; \
@@ -107,6 +109,7 @@
\$$repl_file = @${SENCHA_REPL}; \
\$$tar = @$(EXT_FLASH_DEBUG); \
\$$sc_bin =@$(TMP_DEBUG)/matcha-tock-bundle.bin; \
+ \$$kernel = @$(TMP_DEBUG)/kernel; \
$(PORT_PRESTART_CMDS) i @${SENCHA_RESC_DEBUG}; \
$(RENODE_PRESTART_CMDS); start"
@@ -121,6 +124,7 @@
\$$repl_file = @${SENCHA_REPL}; \
\$$tar = @$(EXT_FLASH_DEBUG); \
\$$sc_bin =@$(TMP_DEBUG)/matcha-tock-bundle.bin; \
+ \$$kernel = @$(TMP_DEBUG)/kernel; \
$(PORT_PRESTART_CMDS) i @${SENCHA_RESC_DEBUG}; start"
$(CHERIOT_SIM_OUT_DIR):