sencha: set path to testbench firmware

Depending on the default path in cheriot.resc was too fragile.

Bypass-Presubmit-Reason: no CI tests for sencha

Change-Id: I8f45ea45205e1d426c711a1af2b013481ead2d5a
1 file changed
tree: b78a6796ed57c61914e86165d16016cac721f3ff
  1. patches/
  2. platforms/
  3. cantrip.mk
  4. cantrip_apps.mk
  5. cantrip_builtins.mk
  6. cantrip_sel4test.mk
  7. cantrip_tests.mk
  8. cantrip_tools.mk
  9. CONTRIBUTING.md
  10. helpmemake.awk
  11. LICENSE
  12. Makefile
  13. minisel.mk
  14. preamble.mk
  15. README.md
  16. setup.sh
  17. shodan.code-workspace
  18. toolchain.mk
  19. verilator.mk
README.md

Top Level Build repository

This is the project containing all the top-level build targets of all the projects within the GoB to set up the environment and build the e2e artifacts.