diff --git a/sencha.resc b/sencha.resc
index 68d5423..bef592f 100644
--- a/sencha.resc
+++ b/sencha.resc
@@ -93,6 +93,10 @@
 $vector_core_mips ?= 1000
 sysbus.cpu2 PerformanceInMips $vector_core_mips
 
+# TOOD: enable for soundstream until model is properly packaged
+#$kelvin_bin?=@out/cheriot/sim/kelvin.bin
+#sysbus LoadBinary $kelvin_bin 0x5A000000
+
 # Start GDB and halt both cores so we can connect GDB before the bootrom has
 # started.
 # cpu2 does not support GDB. Please follow docs/KelvinIssDebugging.md to debug
@@ -105,3 +109,8 @@
 cpu1 IsHalted true
 cpu2 IsHalted true
 
+# Enable for instruction & memory profiling. Data are written to
+# $ROOTDIR/cache/renode/mpact_cheriot_renode* (to be fixed).
+#cpu1 SymbolFile $cheriot_elf
+#cpu1 InstProfile true
+#cpu1 MemProfile true