sencha: add sencha-testbench targets

Add targets that run the cheriot-rtos test suite on a sencha platform
(cheriot-testbennch runs the test suite on a sail platform). Note this
currently completes but the allocator test(s) fail because sencha's heap
is too small.

While here:
- s/cheriot-tests-clean/cheriot-test-clean/
- use mkdir -p when creating tmp directories to avoid forced ordering

Change-Id: I36a77e088031e4600b74bd4696277dfdc0fc101b
3 files changed
tree: 1067f20da6f08562819677985376a90e2ed6b540
  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. cores.mk
  11. helpmemake.awk
  12. LICENSE
  13. Makefile
  14. minisel.mk
  15. preamble.mk
  16. README.md
  17. setup.sh
  18. shodan.code-workspace
  19. toolchain.mk
  20. 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.