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
tree: 82367cfdd61500819408484f762ee68f890b0449
  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.