Merge changes Idea8d5b2,I687a43cd,I0da046cb
* changes:
sencha: refactor cheriot-testbench and add cheriot-examples
sencha: add sim_cheriot_renode to run standalone cheriot firmware
sencha: pass $kernel to enable loading symbols
diff --git a/platforms/nexus/sim.mk b/platforms/nexus/sim.mk
index 371653c..c493c47 100644
--- a/platforms/nexus/sim.mk
+++ b/platforms/nexus/sim.mk
@@ -170,8 +170,10 @@
ext_flash_model_benchmarks: | $(OUT_BENCHMARKS)
cd ml/ml-models && \
- bazel build $$(bazel query //benchmarks/... | grep -E "benchmark_device_fpga$$")
- find ml/ml-models/bazel-bin/benchmarks/ \
+ bazel query "//benchmarks/..." + "@ml_models_public//benchmarks/..." | \
+ grep -E "benchmark_device_fpga$$" | \
+ xargs bazel build
+ find ml/ml-models/bazel-bin/ \
-type f \
-name '*_extflash.tar' \
-exec cp -f {} "$(OUT_BENCHMARKS)/" \;
