cheriot: Added testbench make rules

- Added a new target, cheriot-testbench, to run the cheriot supplied testbench on a standalone cheriot configuration.
- Added a new variable CHERIOT_BOARD to specify the board being used, with default equal to $PLATFORM
- Modified CHERIOT_FIRMWARE_RELEASE target to be generic (by using CHERIOT_BOARD) so that different applications with different boards can be created using the same Make rule

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: I83659c50ef7f53bafd050b2d9c0ff70eaa448780
2 files changed
tree: 4649742f8cdfee0d3ee46ad672b1893335c3de24
  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.